YES


Termination: (Ranking Functions Found)
------------
f362_0_gt_LE: < < arg1 -arg2, -arg4 + arg5 >, < arg5 > >


method 1