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