(GOAL COMPLEXITY)
(STARTTERM CONSTRUCTORBASED)
(VAR x )
(STRATEGY INNERMOST)
(RULES 
        f(f(x)) -> f(x)
        f(s(x)) -> f(x)
        g(s(0)) -> g(f(s(0)))
        
)