YES
exiting with thread!
(VAR x y z )
(RULES 
        f3(y) -> f8(y)
        f2(y) -> f8(y)
        f5(y) -> f8(y)
        f7(y) -> f8(y)
        f6(y) -> f8(y)
        f4(y) -> f8(y)
        g(x,z) -> f8(z)
        f1(y) -> f8(y)
        f8(j(z)) -> f8(f8(z))
        f8(f8(f8(f8(x)))) -> f8(x)
        
)