YES
exiting with thread!
(VAR x y )
(RULES 
        s(s(x)) -> x
        f(0,y) -> y
        f(s(x),y) -> s(f(x,y))
        g(0,y) -> y
        g(s(x),y) -> f(g(x,y),0)
        h(0) -> s(0)
        f(f(x,0),0) -> x
        
)