(VAR  )
(RULES 
        g(a) -> g(b)
        b -> f(a, a)
        f(a, a) -> g(d)
        
)