regress/parser/smt2perr178.smt2:1:13: missing ')'