MAYBE
Time: 0.000802
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:
  DP:
   {       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#()}
  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()}
  UR:
   {     activate X -> X,
    activate n__c() -> c(),
    activate n__d() -> d(),
                d() -> n__d(),
                c() -> d(),
                c() -> n__c()}
   EDG:
    {(h# n__d() -> g# n__c(), g# X -> activate# X)
     (h# n__d() -> g# n__c(), g# X -> h# activate X)
     (activate# n__c() -> c#(), c#() -> d#())
     (g# X -> h# activate X, h# n__d() -> g# n__c())
     (g# X -> activate# X, activate# n__c() -> c#())
     (g# X -> activate# X, activate# n__d() -> d#())}
    STATUS:
     arrows: 0.833333
     SCCS (1):
      Scc:
       {h# n__d() -> g# n__c(),
             g# X -> h# activate X}
      
      SCC (2):
       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()}
       Open