Implementations of cardinality constraints. Cardinality constraints are implemented by counters.