(VAR  )
(RULES 
        f(a,b) -> f(a,c)
        f(c,d) -> f(b,d)
        
)