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