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