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