2.88/2.94	MAYBE
2.88/2.94	
2.88/2.94	
2.88/2.94	Connected Subgraphs where we couldn't prove Termination:
2.88/2.94	--------------------------------------------------------
2.88/2.94	SCC:
2.88/2.94	+--transitions: t1
2.88/2.94	+--nodes: n_n_n_f81_0_loop_InvokeMethod___1___1___1
2.88/2.94	
2.88/2.94	
2.88/3.00	EOF