regress/parser/smt2perr032.smt2:1:19: invalid sort '|no symbol allowed here|'