Constraint Propagation workinggit add --all