Added the propagation rule for constraint X = Y + Z.