TRS: { g(X) -> h(activate(X)), c() -> d(), h(n__d()) -> g(n__c()), d() -> n__d(), c() -> n__c(), activate(n__d()) -> d(), activate(n__c()) -> c(), activate(X) -> X} Fail