regress/parser/smt2perr036.smt2:1:26: expected '(' or sort keyword