XSB generators fail

[Ingmar Dasseville]

http://seldon.cs.kuleuven.be/idp/?src=36afbe43f5c12b054827

[Joachim Jansen]

Error's part of how aggregates are rewritten - a variable over the type [nat] is introduced in by FormulaUtils::unnestFuncsAndAggs. More specifically, this happens:

IN: (E  =  card[ { : false : 1 } ])

OUT: (? var3[nat] : (=(var3[nat],E) & =(var3[nat],card[ { : false : 1 } ])))

@BartBog Ik meen mij dat we al wel een paar keer over agg transformaties gediscussieerd hebben. Zou het incorrect zijn om het type van de variabele te laten limiteren tot wat het subdomein van nat is?

[Bart Bogaerts]

Dat zou in het algemeen verkeerd zijn. (welk subtype zou je nemen)

Wat je wel kan doen is derivetermbounds slimmer maken. Die leidt een correct subtype af en zou hier 0..1 mogen afleiden.