3.54/3.57	MAYBE
3.54/3.57	
3.54/3.57	
3.54/3.57	Connected Subgraphs where we couldn't prove Termination:
3.54/3.57	--------------------------------------------------------
3.54/3.57	SCC:
3.54/3.57	+--transitions: t1
3.54/3.57	+--nodes: n_n_n_f48_0_loop_EQ___2___1___1
3.54/3.57	
3.54/3.57	
3.59/3.63	EOF