(VAR x )
(RULES 
        f(g(x), s(0)) -> f(g(x), g(x))
        g(s(x)) -> s(g(x))
        g(0) -> 0
        
)