TRS: { f(X, X) -> f(a(), n__b()), b() -> a(), b() -> n__b(), activate(n__b()) -> b(), activate(X) -> X} Fail