Increasing Constraint Propagation by Redundant Modeling: an Experience Report