regress/parser/smt2perr028.smt2:1:16: missing '('