pushdown 中应写 mul!=1 而不是 mul>1，今天重写一遍后发现。