YES


Termination: (Ranking Functions Found)
------------
n_n_f398_0_minus_EQ___2___1: < < arg3 >, < -arg1 + arg3 -arg5 >, < arg5 > >
n_n_f398_0_minus_EQ___3___2: < < arg3 >, < -arg1 + arg3 -arg5 > >


method 3