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