YES


Termination: (Ranking Functions Found)
------------
n_l3___1: < < x_0 > >
n_l3___10: < < x_0 > >
n_l3___16: < < x_0 > >
n_l3___17: < < x_0 > >
n_l3___22: < < x_0 > >
n_l3___5: < < x_0 > >
n_l4___11: < < x_0 > >
n_l4___21: < < x_0 > >
n_l5___12: < < x_0 > >
n_l5___13: < < x_0 > >
n_l5___18: < < x_0 > >
n_l5___19: < < x_0 > >
n_l5___2: < < x_0 > >
n_l5___3: < < x_0 > >
n_l6___14: < < x_0 > >
n_l6___20: < < x_0 > >
n_l6___4: < < x_0 > >
n_n_l3___17___1: < < y_0 >, < y_0 >, < y_0 >, < y_0 > >
n_n_l3___17___2: < < y_0 >, < y_0 >, < y_0 >, < y_0 > >
n_n_l3___1___1: < < y_0 >, < y_0 >, < y_0 >, < y_0 > >
n_n_l3___1___2: < < y_0 >, < y_0 >, < y_0 >, < y_0 > >
n_n_l4___11___1: < < y_0 >, < y_0 >, < y_0 >, < y_0 > >
n_n_l4___11___2: < < y_0 >, < y_0 >, < y_0 >, < y_0 > >
n_scc_init: < < y_0 >, < y_0 >, < y_0 >, < y_0 >, < y_0 >, < y_0 >, < y_0 >, < y_0 >, < y_0 >, < y_0 >, < y_0 >, < y_0 > >


method 1