YES


Termination: (Ranking Functions Found)
------------
f1849_0_createList_LE: < < arg2 >, < -arg12 + arg13 > >
f2624_0__init__LE: < < arg24 >, < arg10 + arg18 >, < arg24 >, < arg10 + arg24 >, < arg24 > >
f3403_0__init__LE: < < arg18 >, < arg8 + arg24 >, < arg24 >, < arg8 + arg24 >, < arg24 > >
f3783_0__init__LE: < < arg21 >, < arg8 + arg27 >, < arg21 >, < arg8 + arg27 >, < arg27 > >
f6290_0_createList_LE: < < arg2 >, < arg3 > >
n_f6375_0_hasNext_EQ___1: < < arg5 -arg6 > >
n_f6375_0_hasNext_EQ___2: < < arg5 -arg6 > >
n_n_f6375_0_hasNext_EQ___1___1: < < arg12 -arg13 >, < arg5 -arg6 > >
n_n_f6375_0_hasNext_EQ___1___2: < < arg12 -arg13 >, < arg5 -arg6 > >
n_scc_init: < < arg12 -arg13 >, < arg5 -arg6 > >


method 1