sets translator: fix for dags
sets translate: a different translation using axioms

todo: set logic correctly, split the code for two translators
smt2 parser: tokenize emptyset only if theory enabled
test for prvs commit (tokenize emptyset)

9978c259f30b1f4b2c70c04589a309033a6eb1f6
parseErrorHelper : factor out whole word matching

catches some corner cases, more readable too
Merge pull request #29 from kbansal/alternatefix

Fix for emptyset in smt2 parser, sets translator to quantified logic, misc