6.53/6.58	MAYBE
6.53/6.58	
6.53/6.58	
6.53/6.58	Termination: (Ranking Functions Found)
6.53/6.58	------------
6.53/6.58	f117_0_createList_LE: < < arg1 > >
6.53/6.58	
6.53/6.58	
6.53/6.58	Connected Subgraphs where we couldn't prove Termination:
6.53/6.58	--------------------------------------------------------
6.53/6.58	SCC:
6.53/6.58	+--transitions: t3
6.53/6.58	+--nodes: n_n_n_f274_0_growReduce_NONNULL___3___1___1
6.53/6.58	
6.53/6.58	
6.58/6.64	EOF