Template Function tvm::truncmod(const Pattern&, const Pattern&)