(VAR X Y)
(RULES

f(0,1,X) -> f(g(X,X),X,X)
g(X,Y) -> X
g(X,Y) -> Y

)