(VAR x )
(RULES 
        f(0,1,x) -> f(x,x,x)
        
)