21.32/21.37	MAYBE
21.32/21.37	
21.32/21.37	
21.32/21.37	Connected Subgraphs where we couldn't prove Termination:
21.32/21.37	--------------------------------------------------------
21.32/21.37	SCC:
21.32/21.37	+--transitions: t9
21.32/21.37	+--nodes: n_n_n_l6___6___4___4
21.32/21.37	
21.32/21.37	
21.40/21.43	EOF