update exit and check-sat command to smt2-syntax
update utreeevaluator to return a list instead of a \n-separated string