パッケージマージにおいて、マージ先の要素にマージされる側の「制約(Constraint)」が追加される際、どう処理されるか。

制約はマージの結果として累積され、全ての制約を満たさなければならない状態になる。