3.52/3.58	MAYBE
3.52/3.58	
3.52/3.58	
3.52/3.58	Connected Subgraphs where we couldn't prove Termination:
3.52/3.58	--------------------------------------------------------
3.52/3.58	SCC:
3.52/3.58	+--transitions: t1
3.52/3.58	+--nodes: n_n_n_f40_0_sum_InvokeMethod___1___1___1
3.52/3.58	
3.52/3.58	
3.58/3.64	EOF