YES


Termination: (Ranking Functions Found)
------------
l0: < < -i_0 + nodecount_0 > >
l2: < < -i_0 + nodecount_0 > >
n_l10___2: < < -i_0 + nodecount_0 > >
n_l10___4: < < -i_0 + nodecount_0 > >
n_l15___1: < < -i_0 + nodecount_0 > >
n_l15___3: < < -i_0 + nodecount_0 > >
n_l4___1: < < edgecount_0 -i_0 > >
n_l7___2: < < -i_0 + nodecount_0 > >
n_l8___1: < < -i_0 + nodecount_0 > >
n_l9___5: < < -i_0 + nodecount_0 > >
n_n_l7___6___2: < < -i_0 + nodecount_0 > >
n_n_l7___6___6: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l7___6___8: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l7___8___3: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l7___8___5: < < -i_0 + nodecount_0 > >
n_n_l8___4___1: < < -i_0 + nodecount_0 > >
n_n_l8___4___4: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l8___4___7: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >


method 1