Uses of Class
dk.brics.automaton.MinimizationOperations.StateList