1.0.2.14: Speed up constraint propagation