YES


Termination: (Ranking Functions Found)
------------
l0: < < -i_0 + nodecount_0 > >
l2: < < -i_0 + nodecount_0 > >
n_l10___3: < < -i_0 + nodecount_0 > >
n_l11___6: < < -i_0 + nodecount_0 > >
n_l15___1: < < -i_0 + nodecount_0 > >
n_l15___3: < < -i_0 + source_0 > >
n_l4___1: < < edgecount_0 -i_0 > >
n_l7___4: < < -i_0 + nodecount_0 > >
n_l8___2: < < -i_0 + nodecount_0 > >
n_l8___4: < < -i_0 + source_0 > >
n_n_l10___2___2: < < -i_0 + nodecount_0 >, < edgecount_0 -j_0 > >
n_n_l10___2___3: < < -i_0 -j_0 + nodecount_0 > >
n_n_l10___2___7: < < -i_0 + nodecount_0 >, < edgecount_0 -j_0 > >
n_n_l7___5___4: < < -i_0 -j_0 + nodecount_0 > >
n_n_l7___5___5: < < -i_0 + nodecount_0 >, < edgecount_0 -j_0 > >
n_n_l7___5___8: < < -i_0 + nodecount_0 >, < edgecount_0 -j_0 > >
n_n_l7___8___1: < < -i_0 + nodecount_0 >, < edgecount_0 -j_0 > >
n_n_l7___8___6: < < -i_0 -j_0 + nodecount_0 > >


method 1