(VAR X )
(RULES 
        h(X) -> g(X, X)
        g(a, X) -> f(b, activate(X))
        f(X, X) -> h(a)
        a -> b
        activate(X) -> X
        
)