YES


Termination: (Ranking Functions Found)
------------
f134_0_test_GT: < < arg1 > >