On the stability of constraint propagation