fixing fixed Smtlib_parser