1.0.14.34: slightly less and slightly faster constraint propagation