Rewrite the propagation rule for union constraint using the widen
operator.