3.78/3.83	MAYBE
3.78/3.83	
3.78/3.83	
3.78/3.83	Termination: (Ranking Functions Found)
3.78/3.83	------------
3.78/3.83	f32_0_increase_LE: < < arg1 > >
3.78/3.83	n_f32_0_increase_LE___1: < < arg1 > >
3.78/3.83	
3.78/3.83	
3.78/3.83	Connected Subgraphs where we couldn't prove Termination:
3.78/3.83	--------------------------------------------------------
3.78/3.83	SCC:
3.78/3.83	+--transitions: t1
3.78/3.83	+--nodes: n_n_n_f32_0_increase_LE___2___1___1
3.78/3.83	
3.78/3.83	
3.78/3.89	EOF