regress/parser/smt2perr010.smt2:1:14: unexpected '()'