YES


Termination: (Ranking Functions Found)
------------
l15: < < -i_0 + nodecount_0 > >
l4: < < -i_0 + nodecount_0 > >
n_l12___2: < < -i_0 + nodecount_0 > >
n_l12___4: < < -i_0 + source_0 > >
n_l13___1: < < -i_0 + nodecount_0 > >
n_l13___3: < < -i_0 + source_0 > >
n_l1___1: < < edgecount_0 -i_0 > >
n_l6___2: < < -i_0 + nodecount_0 > >
n_l7___1: < < -i_0 + nodecount_0 > >
n_l8___5: < < -i_0 + nodecount_0 > >
n_n_l6___6___2: < < -i_0 + nodecount_0 > >
n_n_l6___6___6: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l6___6___8: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l6___8___3: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l6___8___5: < < -i_0 + nodecount_0 > >
n_n_l7___4___1: < < -i_0 + nodecount_0 > >
n_n_l7___4___4: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >
n_n_l7___4___7: < < -i_0 + nodecount_0 >, < 1 -j_0 >, < edgecount_0 -j_0 > >


method 1