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