2.70/2.78	MAYBE
2.70/2.78	
2.70/2.78	
2.70/2.78	Connected Subgraphs where we couldn't prove Termination:
2.70/2.78	--------------------------------------------------------
2.70/2.78	SCC:
2.70/2.78	+--transitions: t1
2.70/2.78	+--nodes: n_n_n_f43_0_loop_InvokeMethod___1___1___1
2.70/2.78	
2.70/2.78	
2.80/2.84	EOF