- 添加判断跳过出现在后段的元素约束生成
- 防止出现相互冲突的先后顺序约束
- 修复因矛盾约束导致的排列验证失败
- 优化DTD约束逻辑的准确性和健壮性