8.3.3 动手操练——约束分析