Renaming some functions, removing an unused function
Better placement of comment
Removing old and unused function
More memory saving in simplifier
More precise memory counting for Solver
Use a 1.2 overhead factor for lots of small allocated spaces