regress/parser/smt2perr137.smt2:8:11: missing ')'