Create UI state diagramm for test-generating. UNFINISHED