6.2.2 约束分析