Incorrect recognition of direct products of small symmetric groups

[fingolfin]

The following example is due to @frankluebeck and taken from the TODO file (I figured it is better to place it on the issue tracker):

g := DirectProduct(SymmetricGroup(12),SymmetricGroup(5));
repeat
  h:=g^Random(SymmetricGroup(37));
  r:=RecogniseGroup(h);
until Size(h) <> Size(r);

After this termiantes (quite quickly), one observes for example:

gap> Size(h);
57480192000
gap> Size(r);
28740096000
gap> r;
<recoginfo NonTransitive Size=28740096000
 F:<recoginfo VeryFewPoints Size=120>
 K:<recoginfo Giant Simple Size=239500800>>

So it found the S_5 factor (but did not explicitly recognize it as such?!?), but for some reason for S_12 it misses a factor of two.

[fingolfin]

Mandarins (see issue #85) should take care of this.