4.12/4.14	MAYBE
4.12/4.14	
4.12/4.14	
4.12/4.14	Termination: (Ranking Functions Found)
4.12/4.14	------------
4.12/4.14	f86_0_sum_NE: < < arg1 > >
4.12/4.14	n_f86_0_sum_NE___2: < < arg1 > >
4.12/4.14	
4.12/4.14	
4.12/4.14	Connected Subgraphs where we couldn't prove Termination:
4.12/4.14	--------------------------------------------------------
4.12/4.14	SCC:
4.12/4.14	+--transitions: t1
4.12/4.14	+--nodes: n_n_n_f86_0_sum_NE___1___1___1
4.12/4.14	
4.12/4.14	
4.15/4.20	EOF