These bugs should be easily fixable:

VertexTransformations runs forever if the group is not finite state

================================================================

These bugs will not be fixed in the short term:

IsFiniteState never detects loops or patterns in the states, if not f.s.

Iterator not coded for FullSCxxx(IsBounded,IsFiniteState,...)

PeriodicList no method for Concatenation and Apply

IsTorsion is not proven to give the right answer

\in  for groups without the congruence property, it's hard to find good quotients. E.g.,
 gap> AssignGeneratorVariables(GrigorchukTwistedTwin);
 gap> epi := EpimorphismGermGroup(GrigorchukTwistedTwin,4);;
 gap> s := Group(Comm(a,x),Comm(a,y),Comm(x,z),Comm(y,z));;
 gap> Image(epi,Comm(a,x)^z) in Image(epi,s);
 true