YES
exiting with thread!
(VAR x z )
(RULES 
        x(w(e(f(z)))) -> x(w(e(g(z))))
        e(g(c(z))) -> d(g(c(z)))
        x(w(d(z))) -> x(w(i(z)))
        u(b(c(z))) -> o(z)
        x(w(a(z))) -> u(z)
        e(f(c(z))) -> a(b(c(z)))
        j(f(z)) -> z
        y(b(z)) -> g(z)
        i(y(z)) -> a(z)
        i(g(x)) -> a(b(x))
        h(x) -> w(e(f(x)))
        w(e(f(j(z)))) -> w(e(z))
        x(w(e(g(j(x))))) -> x(w(e(x)))
        
)