Fix unit test (compile error) for new SatSolver interface
Change TPTP parser to not use the STRING type; this necessary to repurpose strings for the upcoming string theory
fixed getModelValue to only query the value of leaves and evaluate more complex bv terms
Added check for infinite lemma loop
Fixes for getModelVal in bv theory
Improved speed of no redundant lemma assertion by using hash set