Grounding issue (xsb or bdds?)
Issue #776
new
Attached file goes in memory overflow. It is unclear what causes it: fine if any line is commented fine if xsb is disabled
also affected by the >0 in the rule body