Constraint propagation redesign, grow/shrink.