Template Function tvm::operator!(const Pattern&)