log/smt2perr148.smt2:1:9: unsupported reserved word '!'