图 11.5变换循环控制条件，合并已知量，复写传播