regress/parser/smt2perr191.smt2:1:10: missing identifier, invalid term