YES


Termination: (Ranking Functions Found)
------------
n_n_n_n_n_n_f138_0_main_GE___1___1___4___1___1___1: < < arg2 >, < 1 -arg1 >, < -arg1 + arg2 > >
n_n_n_n_n_n_f138_0_main_GE___1___2___7___2___2___2: < < arg2 >, < 1 -arg1 > >


method 4