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