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