MAYBE
MAYBE
TRS:
 {
         h(n__d()) -> g(n__c()),
       activate(X) -> X,
  activate(n__c()) -> c(),
  activate(n__d()) -> d(),
              g(X) -> h(activate(X)),
               d() -> n__d(),
               c() -> d(),
               c() -> n__c()
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
           h(n__d()) -> g(n__c()),
         activate(X) -> X,
    activate(n__c()) -> c(),
    activate(n__d()) -> d(),
                g(X) -> h(activate(X)),
                 d() -> n__d(),
                 c() -> d(),
                 c() -> n__c()
   }
  Fail