YES


Termination: (Ranking Functions Found)
------------
n_l0___5: < < -x3_0 + x4_0 > >
n_l1___1: < < -x3_0 + x4_0 > >
n_l1___15: < < -x3_0 + x4_0 > >
n_l1___4: < < -x3_0 + x4_0 > >
n_l1___8: < < -x3_0 + x4_0 > >
n_l5___2: < < -x3_0 + x4_0 > >
n_l5___3: < < -x3_0 + x4_0 > >
n_l5___6: < < -x3_0 + x4_0 > >
n_l5___7: < < -x3_0 + x4_0 > >
n_l5___9: < < -x3_0 + x4_0 > >
n_n_l0___10___6: < < -oldX3_0 + oldX4_0 -x4_0 > >
n_n_l1___13___1: < < -oldX3_0 + oldX4_0 -x4_0 > >
n_n_l1___15___4: < < x3_0 >, < x4_0 >, < x4_0 >, < oldX3_0 > >
n_n_l1___16___2: < < oldX3_0 -oldX4_0 + x4_0 > >
n_n_l1___8___1: < < x3_0 >, < x4_0 >, < x4_0 >, < oldX3_0 > >
n_n_l1___8___2: < < x3_0 >, < x4_0 >, < x4_0 > >
n_n_l1___8___3: < < x3_0 >, < x4_0 > >
n_n_l5___12___3: < < oldX3_0 -oldX4_0 + x4_0 > >
n_scc_init: < < x3_0 >, < x4_0 >, < x4_0 >, < oldX3_0 > >


method 1