(VAR F X z )
(RULES 
        f(g, X) -> h(X)
        f(F, X) -> 
        h(X) -> f(, X)
        
)