Fixed group card constraint, added symmetry breaking over refs.