regress/parser/smt2perr014.smt2:1:12: missing ')'