Easy implicit recovering for FiniteGroup.
Moved first representative algorithm to its own method.