YES


Termination: (Ranking Functions Found)
------------
l33: < < -i_44_0 + length_43_0 > >
l39: < < -i_44_0 + length_43_0 > >
n_l40___1: < < a_197_0 > >
n_l4___1: < < a_305_0 > >


method 1