regress/parser/smt2perr146.smt2:1:18: missing ')'