YES


Termination: (Ranking Functions Found)
------------
n_n_l0___3___1: < < c0_0 -2 * deltaext_new_0 + wnt_0 > >
n_n_l1___2___2: < < c0_0 -2 * deltaext_new_0 + wnt_0 > >
n_n_l1___2___3: < < -c0_0 + 2 * deltaext_new_0 -wnt_0 > >


method 1