inconsistent behaviour

[Ingmar Dasseville]

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=f3faa3b64f6f8110771e

possible culprits: recursion over negation or partial functions

[Bart Bogaerts]

als er recursie over negatie is, dan mag guaranteenorecursionnegation alvast niet op true staan (dat is je eigen fout als het dan misloopt)

Maar... Er zijn ook tests met guaranteenorecursionnegation=false die mislopen; enkel die zijn dus relevant.

[Ingmar Dasseville]

er is geen recursie over negatie, maar als je wat prutst met het samenvoegen van de definitie en niet, dan zie je ander gedrag, dus ik hypothetiseer dat er misschien ergens iets fout gaat met die checks