Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving