regress/parser/smt2perr214.smt2:4:13: missing '('