7.24/7.27	MAYBE
7.24/7.27	
7.24/7.27	
7.24/7.27	Connected Subgraphs where we couldn't prove Termination:
7.24/7.27	--------------------------------------------------------
7.24/7.27	SCC:
7.24/7.27	+--transitions: t3,t4,t5
7.24/7.27	+--nodes: n_n_n_l1___2___2___2,n_n_n_l2___1___1___1
7.24/7.27	
7.24/7.27	
7.32/7.34	EOF