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