0 QTRS
↳1 DirectTerminationProof (⇔)
↳2 TRUE
d(x) → e(u(x)) d(u(x)) → c(x) c(u(x)) → b(x) v(e(x)) → x b(u(x)) → a(e(x))
d1 > c1 > b1 > a1 > u1 > v1 > e1
d_1=3 e_1=2 u_1=1 c_1=4 b_1=5 v_1=1 a_1=4