Bug in groundtranslator?

[JoD]

Attached file geeft een segfault in release mode, en in debug mode een assertion fail: Error: ASSERT FAILED: element!=NULL && element->type() == DET_INT @ /export/home1/NoCsBack/dtai/jodv/workspace/idp/src/inferences/grounding/GroundTranslator.cpp (525)

Grotere instanties deriven "unsat found during grounding", wat waarschijnlijk fout is (aka het probleem is volgens mij sat).

[JoD]

Apparently I have a broken build, hence resulting in strange behaviour.

[Bart Bogaerts]

By now, this results in an error message that a funciton is partial