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