185.54/185.60	MAYBE
185.54/185.60	
185.54/185.60	
185.54/185.60	Termination: (Ranking Functions Found)
185.54/185.60	------------
185.54/185.60	f3405_0__init__LE: < < arg18 >, < arg12 >, < arg18 >, < arg18 >, < arg18 > >
185.54/185.60	
185.54/185.60	
185.54/185.60	Connected Subgraphs where we couldn't prove Termination:
185.54/185.60	--------------------------------------------------------
185.54/185.60	SCC:
185.54/185.60	+--transitions: t14,t15,t16,t17,t18,t19,t20,t21
185.54/185.60	+--nodes: n_n_n_f6007_0_hasNext_EQ___1___2___2,n_n_n_f6007_0_hasNext_EQ___2___1___1
185.54/185.60	
185.54/185.60	
185.58/185.66	EOF