(VAR X )
(RULES 
        f(g(X), g(X)) -> 
        
)