10.66/10.72	MAYBE
10.66/10.72	
10.66/10.72	
10.66/10.72	Connected Subgraphs where we couldn't prove Termination:
10.66/10.72	--------------------------------------------------------
10.66/10.72	SCC:
10.66/10.72	+--transitions: t1
10.66/10.72	+--nodes: n_n_n_l4___1___1___1
10.66/10.72	
10.66/10.72	
10.75/10.78	EOF