Uses of Interface
net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction