- add sharing of some sub-expressions into generated SMTlib formulas using "let" construction. This should reduce the size of formulas submitted to solvers. The sharing could be improved. - fix generation of NEG that missed extension.
- add sharing of some sub-expressions into generated SMTlib formulas using
"let" construction. This should reduce the size of formulas submitted to
solvers. The sharing could be improved.
- fix generation of NEG that missed extension.

git-svn-id: e886c6aed492beb28f167ab2f23d4509dc3d3d26@568 00316523-1ed1-4fdc-9313-76483a3f41dc

jorik041/insight,killbug2004/insight,killbug2004/insight,jorik041/insight