Overhaul of disjunction handling in constraints: generation, and elimination during normalization.