Global Cardinality Constraint