20.75/20.81	MAYBE
20.75/20.81	
20.75/20.81	
20.75/20.81	Termination: (Ranking Functions Found)
20.75/20.81	------------
20.75/20.81	f1273_0_createList_GE: < < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 > >
20.75/20.81	f1409_0_createList_NULL: < < -1 + arg1 - arg3 >, < -1 + arg1 - arg3 > >
20.75/20.81	
20.75/20.81	
20.75/20.81	Connected Subgraphs where we couldn't prove Termination:
20.75/20.81	--------------------------------------------------------
20.75/20.81	SCC:
20.75/20.81	+--transitions: t10,t9
20.75/20.81	+--nodes: n_n_n_f1026_0_findR_NE___2___2___2
20.75/20.81	
20.75/20.81	
20.83/20.88	EOF