3.56/3.68	MAYBE
3.56/3.68	
3.56/3.68	
3.56/3.68	Connected Subgraphs where we couldn't prove Termination:
3.56/3.68	--------------------------------------------------------
3.56/3.68	SCC:
3.56/3.68	+--transitions: t1
3.56/3.68	+--nodes: n_n_n_l1___1___1___1
3.56/3.68	
3.56/3.68	
3.63/3.74	EOF