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