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