Bugfix in equality propagation.