(VAR F x )
(RULES 
        f(0) -> g()
        g(F) -> 
        
)