Uses of Interface
net.automatalib.graph.FiniteKripkeStructure