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