Fix constraint propagation