YES


Termination: (Ranking Functions Found)
------------
n_n_n_l0___7___8___3: < < m_0 -x_0 > >
n_n_n_l1___2___4___1: < < id_0 -x_0 > >


method 4