9.50/9.54	MAYBE
9.50/9.54	
9.50/9.54	
9.50/9.54	Termination: (Ranking Functions Found)
9.50/9.54	------------
9.50/9.54	f216_0_main_GE: < < - arg3 + arg4 >, < - arg3 + arg4 > >
9.50/9.54	f340_0_length_FieldAccess: < < arg6 > >
9.50/9.54	
9.50/9.54	
9.50/9.54	Connected Subgraphs where we couldn't prove Termination:
9.50/9.54	--------------------------------------------------------
9.50/9.54	SCC:
9.50/9.54	+--transitions: t4
9.50/9.54	+--nodes: n_n_n_f339_0_length_Load___1___1___1
9.50/9.54	
9.50/9.54	
9.60/9.60	EOF