Definitions need approximation and recursion check!

[Broes De Cat]

Grounding of { ! var621[Xco] : xsucc(var621,xsucc_c_1(var621)) <- true. } with xsucc interpreted can go into memory overflow while

! var621[Xco] : xsucc(var621,xsucc_c_1(var621)).

grounds without problem

(bottle filling)

Such definitions are introduced by function detection.