YES


Termination: (Ranking Functions Found)
------------
n_l4___6: < < oldX0_0 >, < x0_0, 0 >, < x0_0 >, < oldX1_0 > >
n_l2___5: < < oldX0_0 >, < -1 + oldX0_0, -1 + oldX0_0 > >
n_l4___1: < < oldX0_0 >, < oldX0_0, 0 >, < oldX0_0 > >
n_l4___3: < < x0_0 >, < x0_0, oldX0_0 > >
n_l2___8: < < x0_0 >, < oldX0_0, 0 >, < oldX0_0 > >
n_l2___4: < < oldX0_0 >, < oldX0_0, 0 >, < oldX0_0 >, < -1 + oldX1_0 > >
n_l0___2: < < x0_0 >, < oldX0_0, 0 >, < oldX0_0 >, < oldX1_0 > >