Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern