complete parsing of most SMTLIB commands, with tests