proper parser for smtlib2 output