(GOAL COMPLEXITY)
(STARTTERM CONSTRUCTORBASED)
(VAR x y z )
(STRATEGY INNERMOST)
(RULES 
        f(0, 1, x) -> f(s(x), x, x)
        f(x, y, s(z)) -> s(f(0, 1, z))
        
)