Uses of Interface
net.automatalib.graph.BidirectionalGraph.IntAbstraction