regress/parser/smt2perr012.smt2:2:1: missing ')'