Uses of Interface
de.learnlib.example.PassiveLearningExample.DFAPassiveLearningExample