new: test for custom constructor/predicator names
new: test for custom constructor/predicator names

biwascheme/biwascheme,yhara/biwascheme,biwascheme/biwascheme,yhara/biwascheme,biwascheme/biwascheme,biwascheme/biwascheme.github.io,biwascheme/biwascheme.github.io