3.36/3.45	MAYBE
3.36/3.45	
3.36/3.45	
3.36/3.45	Connected Subgraphs where we couldn't prove Termination:
3.36/3.45	--------------------------------------------------------
3.36/3.45	SCC:
3.36/3.45	+--transitions: t1
3.36/3.45	+--nodes: n_n_n_f51_0_loop_InvokeMethod___1___1___1
3.36/3.45	
3.36/3.45	
3.48/3.51	EOF