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