YES


Termination: (Ranking Functions Found)
------------
f106_0_test_LE: < < arg3 > >
f120_0_test_LE: < < arg3 > >
f134_0_test_LE: < < arg3 > >
f148_0_test_LE: < < arg3 > >
f162_0_test_LE: < < arg3 > >
f176_0_test_LE: < < arg3 > >
f190_0_test_LE: < < arg3 > >
f204_0_test_LE: < < arg3 > >
f218_0_test_LE: < < arg1 > >
f31_0_main_Cmp: < < arg1 > >
f43_0_main_GE: < < arg1 > >
f64_0_test_LE: < < arg3 > >
f78_0_test_LE: < < arg3 > >
f92_0_test_LE: < < arg3 > >
n_f43_0_main_GE___1: < < 99 -arg3 > >


method 1