1.0.20.4: Use a new set implementation for constraint propagation.