(VAR x y )
(STRATEGY INNERMOST)
(RULES 
        f(g(x),g(y)) -> f(p(f(g(x),s(y))),g(s(p(x))))
        p(0) -> g(0)
        g(s(p(x))) -> p(x)
        
)