18.35/18.38	MAYBE
18.35/18.38	
18.35/18.38	
18.35/18.38	Termination: (Ranking Functions Found)
18.35/18.38	------------
18.35/18.38	f221_0_generate_GE: < < - arg2 + arg3 > >
18.35/18.38	
18.35/18.38	
18.35/18.38	Connected Subgraphs where we couldn't prove Termination:
18.35/18.38	--------------------------------------------------------
18.35/18.38	SCC:
18.35/18.38	+--transitions: t4,t5,t6,t7,t8
18.35/18.38	+--nodes: n_n_n_f348_0_duplicate_EQ___1___1___1,n_n_n_f348_0_duplicate_EQ___3___3___3,n_n_n_f348_0_duplicate_EQ___4___2___2
18.35/18.38	
18.35/18.38	
18.40/18.44	EOF