(VAR x y )
(STRATEGY INNERMOST)
(RULES 
        f(s(x), y, b) -> f(g(h(x)), y, i(y))
        g(h(x)) -> g(x)
        g(s(x)) -> s(x)
        g(0) -> s(0)
        h(0) -> a
        i(0) -> b
        i(s(y)) -> i(y)
        
)