3.70/3.78	MAYBE
3.70/3.78	
3.70/3.78	
3.70/3.78	Connected Subgraphs where we couldn't prove Termination:
3.70/3.78	--------------------------------------------------------
3.70/3.78	SCC:
3.70/3.78	+--transitions: t1
3.70/3.78	+--nodes: n_n_n_f46_0_loop_EQ___2___1___1
3.70/3.78	
3.70/3.78	
3.79/3.84	EOF