pushdown，pushup不但函数里要随时取模，执行函数之前还要把两个tag都模一下