regress/parser/smt2perr038.smt2:1:54: missing ')'