(VAR F G z )
(RULES 
        f(, ) -> 
        
)