(VAR x y z )
(STRATEGY OUTERMOST)
(RULES 
        f(0, 1, x) -> f(x, x, x)
        g(x, y) -> x
        g(x, y) -> y
        f(g(0, x), y, z) -> 1
        f(g(x, 0), y, z) -> 1
        
)