These bugs will not be fixed in the short term:
$Id: BUGS,v 1.8 2011/04/27 21:37:38 gap Exp $

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