regress/parser/smt2perr129.smt2:1:14: missing '('