regress/parser/smt2perr148.smt2:1:9: missing '(' before '!'