Propagate the rule of equality 'x=y'