YES


Termination: (Ranking Functions Found)
------------
n_f398_0_minus_EQ___1: < < arg5 > >
f370_0_div_LT: < < arg2 > >
f398_0_minus_EQ: < < arg3 - arg4 > >