YES


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