regress/parser/smt2perr037.smt2:1:40: expected '(' or sort keyword