Combining Symmetry Breaking and Global Constraints