5.86/5.87	MAYBE
5.86/5.87	
5.86/5.87	
5.86/5.87	Termination: (Ranking Functions Found)
5.86/5.87	------------
5.86/5.87	f190_0_createList_LE: < < arg1 > >
5.86/5.87	
5.86/5.87	
5.86/5.87	Connected Subgraphs where we couldn't prove Termination:
5.86/5.87	--------------------------------------------------------
5.86/5.87	SCC:
5.86/5.87	+--transitions: t1
5.86/5.87	+--nodes: n_n_n_f276_0_main_NULL___3___1___1
5.86/5.87	
5.86/5.87	
5.91/5.94	EOF