YES


Termination: (Ranking Functions Found)
------------
n_f227_0_main_LE___2: < < arg2 -arg3 > >
n_n_f213_0_main_LE___3___1: < < arg2 -arg3 > >


method 1