regress/parser/smt2perr136.smt2:3:1: missing ')'