regress/parser/smt2perr065.smt2:1:10: unexpected '()'