9.5.3 分析约束