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