YES


Termination: (Ranking Functions Found)
------------
f262_0_take_GE: < < -arg3 + arg5 > >


method 1