TRS: {f(a(), y) -> f(y, g(y)), g(a()) -> b(), g(b()) -> b()} Fail