Removed redundant propagator.

The same propagator is added twice to the union constraint.