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