Template Function tvm::operator+(const Pattern&, const Pattern&)