5.93/5.96	MAYBE
5.93/5.96	
5.93/5.96	
5.93/5.96	Termination: (Ranking Functions Found)
5.93/5.96	------------
5.93/5.96	f909_0_main_GE: < < - arg3 + arg4 > >
5.93/5.96	
5.93/5.96	
5.93/5.96	Connected Subgraphs where we couldn't prove Termination:
5.93/5.96	--------------------------------------------------------
5.93/5.96	SCC:
5.93/5.96	+--transitions: t5
5.93/5.96	+--nodes: n_n_n_f1097_0_outputList_NULL___1___1___1
5.93/5.96	
5.93/5.96	
5.99/6.03	EOF