added two tests reproducing assertion check fail in C578_Urgent_Jul13/151_001.
The abstract interpreter causes an interpreter call to estimate computation time of y:0..f(x). X is not bound to any value at this time
this cause a crash.
Possible fix: call abstract interpretation again for every variable. Build dep. graph of bound variables before abstract interpertation to
avoid this crash. In this example: eval predicate for y when x is allready computed.