(VAR  )
(RULES 
        a -> b
        b ->= a
)