rename the build_disjunct_for* function
Minor SAT hacking for dusjuncts
Change the signature of one method
Another signature change
Track the original expression
Pas around the exp to whereever it is needed
More SAT disjunct hacking
More SAT hacking ...
more SAT hacking