(VAR x )
(RULES 
        f(g(x)) -> x
        a ->= h(g(f(a)))
)