1.0.23.68: Cleanups in constraint propagation.