(VAR x y )
(RULES 
        h(x,y) -> f(x,y,x)
        f(0,1,x) -> h(x,x)
        g(x,y) -> x
        g(x,y) -> y
        
)