13.11/13.21	MAYBE
13.11/13.21	
13.11/13.21	
13.11/13.21	Termination: (Ranking Functions Found)
13.11/13.21	------------
13.11/13.21	n_f437_0_loop_aux_GT___4: < < arg3 > >
13.11/13.21	
13.11/13.21	
13.11/13.21	Connected Subgraphs where we couldn't prove Termination:
13.11/13.21	--------------------------------------------------------
13.11/13.21	SCC:
13.11/13.21	+--transitions: t3
13.11/13.21	+--nodes: n_n_n_f437_0_loop_aux_GT___2___2___2
13.11/13.21	
13.11/13.21	
13.16/13.28	EOF