new smtlib parser and interpreter