3.3.5 约束传播