Propagation bug

[Bart Bogaerts]

See attachment. Gives no models. I think it has something to do with bdds of the form

! table1 table2: table1=table2

(don't know what they are doing there...)

[Bart Bogaerts]

fixes #148

Turned out to be a bug in the BDD->Generator: sometimes a univgenerator was forgotten to be made in case a certain branch was true.

→ 4f7244d33b66

[Broes De Cat]

Removing milestone: BDD's added (automated comment)