isConsistent should check the function constraints
Issue #396
new
See e.g. the incorrect check for deffunc when using xsb.
See e.g. the incorrect check for deffunc when using xsb.