(VAR x y )
(RULES 
        f(x, y) -> x
        g(a) -> h(a, b, a)
        i(x) -> f(x, x)
        h(x, x, y) -> g(x)
        
)