YES
(VAR x)
(RULES
a(d(x)) -> v(a(x))
a(c(x)) -> e(a(x))
e(a(w(x))) -> e(b(w(x)))
v(b(w(x))) -> e(b(w(x)))
v(a(w(x))) -> e(b(w(x)))
d(w(x)) -> c(w(x))
b(c(x)) -> e(b(x))
b(d(x)) -> v(b(x))
u(x) -> c(w(x))
)