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