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()}
 DP:
  Strict:
   {       h#(n__d()) -> g#(n__c()),
    activate#(n__c()) -> c#(),
    activate#(n__d()) -> d#(),
                g#(X) -> h#(activate(X)),
                g#(X) -> activate#(X),
                 c#() -> d#()}
  Weak:
  {       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()}
  EDG:
   {(activate#(n__c()) -> c#(), c#() -> d#())
    (g#(X) -> activate#(X), activate#(n__d()) -> d#())
    (g#(X) -> activate#(X), activate#(n__c()) -> c#())
    (g#(X) -> h#(activate(X)), h#(n__d()) -> g#(n__c()))
    (h#(n__d()) -> g#(n__c()), g#(X) -> h#(activate(X)))
    (h#(n__d()) -> g#(n__c()), g#(X) -> activate#(X))}
   SCCS:
    Scc:
     {h#(n__d()) -> g#(n__c()),
           g#(X) -> h#(activate(X))}
    SCC:
     Strict:
      {h#(n__d()) -> g#(n__c()),
            g#(X) -> h#(activate(X))}
     Weak:
     {       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