YES


Termination: (Ranking Functions Found)
------------
n_l11___1: < < x6_0 > >
n_l16___1: < < x5_0 > >
n_l3___1: < < x4_0 > >
n_n_l0___4___1: < < oldX5_0 >, < oldX6_0 >, < oldX6_0 > >
n_n_l19___3___2: < < oldX5_0 >, < oldX6_0 >, < oldX6_0 >, < oldX6_0 > >
n_n_l19___3___4: < < oldX5_0 >, < oldX6_0 > >


method 1