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