constaining-unification

[计] 强制合一