More constraint propagation in the presence of assignment