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