YES


Termination: (Ranking Functions Found)
------------
l0: < < -i_0 + nodecount_0 > >
l2: < < -i_0 + nodecount_0 > >
n_l10___6: < < -i_0 + nodecount_0 > >
n_l12___3: < < -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_l5___2: < < -i_0 + nodecount_0 > >
n_l5___4: < < -i_0 + nodecount_0 > >
n_l9___4: < < -i_0 + nodecount_0 > >
n_n_l12___2___2: < < -i_0 + nodecount_0 >, < edgecount_0 -j_0 > >
n_n_l12___2___3: < < -i_0 -j_0 + nodecount_0 > >
n_n_l12___2___7: < < -i_0 + nodecount_0 >, < edgecount_0 -j_0 > >
n_n_l9___5___4: < < -i_0 -j_0 + nodecount_0 > >
n_n_l9___5___5: < < -i_0 + nodecount_0 >, < edgecount_0 -j_0 > >
n_n_l9___5___8: < < -i_0 + nodecount_0 >, < edgecount_0 -j_0 > >
n_n_l9___8___1: < < -i_0 + nodecount_0 >, < edgecount_0 -j_0 > >
n_n_l9___8___6: < < -i_0 -j_0 + nodecount_0 > >


method 1