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