Global Lit_True and Lit_False are now static and initialised outside SatWrapperSolver.

Issues in some cases under linux.
Tests for addition with boolean and factordomain.
Fix issue with order encoding of addition expression.