Add the propagation rule for primitive constraint X=Y.