4.87/4.94	MAYBE
4.87/4.94	
4.87/4.94	
4.87/4.94	Termination: (Ranking Functions Found)
4.87/4.94	------------
4.87/4.94	f181_0_main_LE: < < arg3 > >
4.87/4.94	
4.87/4.94	
4.87/4.94	Connected Subgraphs where we couldn't prove Termination:
4.87/4.94	--------------------------------------------------------
4.87/4.94	SCC:
4.87/4.94	+--transitions: t4
4.87/4.94	+--nodes: n_n_n_f168_0_visit_NULL___1___1___1
4.87/4.94	
4.87/4.94	
4.97/5.00	EOF