约束规则

约束：

1. 约束不能相互矛盾。

转换：

1. 被合并模型元素的约束都被添加到匹配的接收模型元素的约束中。