move smtlib2 parser to attoparsec