Add comments to function CandidateGroups

We still need a clever enumeration.
We should try to consider semisimple groups, instead of only simple groups.