Uses of Class
de.learnlib.testsupport.example.dfa.ExampleTinyDFA