YES


Termination: (Ranking Functions Found)
------------
l2: < < -i_0 + nodecount_0 > >
l4: < < -i_0 + nodecount_0 > >
n_l0___2: < < -i_0 + nodecount_0 > >
n_l0___4: < < -i_0 + nodecount_0 > >
n_l11___2: < < -i_0 + nodecount_0 > >
n_l12___1: < < -i_0 + nodecount_0 > >
n_l15___1: < < -i_0 + nodecount_0 > >
n_l15___3: < < -i_0 + nodecount_0 > >
n_l6___1: < < edgecount_0 -i_0 > >
n_l7___5: < < -i_0 + nodecount_0 > >
n_n_l11___6___2: < < -i_0 + nodecount_0 > >
n_n_l11___6___6: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l11___6___8: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l11___8___3: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l11___8___5: < < -i_0 + nodecount_0 > >
n_n_l12___4___1: < < -i_0 + nodecount_0 > >
n_n_l12___4___4: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l12___4___7: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >


method 1