Bug in ExplainUnsat

[Ingmar Dasseville]

Same theory+structure is unsat according to modelexpand and sat according to explainunsat. http://dtai.cs.kuleuven.be/krr/idp-ide/?src=c033b9b91fa39b0302a8baff21ac5f41

[Bart Bogaerts]

Explainunsat not properly implemented with CP? Disabling cp support fixes the issue.

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

Probably, not all assumptions are correctly added for CP variables.

Can also be seen from the fact that adding

I_heapSize = 1.

to the theory, and removing it from the structure also solves the issue.

[Bart Bogaerts]

Bug in explainunsat, the structure part probably