(VAR X )
(RULES 
        f(f(X)) -> c
        c -> d
        h(X) -> c
        
)