ConditionSimplifier --> ConstraintSimplifier
BoundConditioner --> BoundConstrainer
Import KLEE's Ref.h
Use ref with Term and Rule
Use ref with Polynomial
Use ref with Condition
Make compile under C++03

Also fix some indentation
Optimisations in Constraint creation
Plug some memory leaks
Let getDualClauses consume less stack space