3.48/3.53	MAYBE
3.48/3.53	
3.48/3.53	
3.48/3.53	Connected Subgraphs where we couldn't prove Termination:
3.48/3.53	--------------------------------------------------------
3.48/3.53	SCC:
3.48/3.53	+--transitions: t1
3.48/3.53	+--nodes: n_n_n_f51_0_main_GE___1___1___1
3.48/3.53	
3.48/3.53	
3.48/3.59	EOF