(VAR x )
(RULES 
        f() -> b
        b -> f()
        
)