6.56/6.58	MAYBE
6.56/6.58	
6.56/6.58	
6.56/6.58	Connected Subgraphs where we couldn't prove Termination:
6.56/6.58	--------------------------------------------------------
6.56/6.58	SCC:
6.56/6.58	+--transitions: t4
6.56/6.58	+--nodes: n_n_n_f116_0_flip_LE___2___1___1
6.56/6.58	
6.56/6.58	
6.61/6.65	EOF