3.79/3.85	MAYBE
3.79/3.85	
3.79/3.85	
3.79/3.85	Connected Subgraphs where we couldn't prove Termination:
3.79/3.85	--------------------------------------------------------
3.79/3.85	SCC:
3.79/3.85	+--transitions: t1
3.79/3.85	+--nodes: n_n_n_l0___1___1___1
3.79/3.85	
3.79/3.85	
3.86/3.91	EOF