MAYBE
Time: 0.032974
TRS:
 {            c X -> d activate X,
              f X -> n__f X,
            f f X -> c n__f g n__f X,
              d X -> n__d X,
       activate X -> X,
  activate n__f X -> f X,
  activate n__d X -> d X,
              h X -> c n__d X}
 DP:
  DP:
   {            c# X -> d# activate X,
                c# X -> activate# X,
              f# f X -> c# n__f g n__f X,
    activate# n__f X -> f# X,
    activate# n__d X -> d# X,
                h# X -> c# n__d X}
  TRS:
  {            c X -> d activate X,
               f X -> n__f X,
             f f X -> c n__f g n__f X,
               d X -> n__d X,
        activate X -> X,
   activate n__f X -> f X,
   activate n__d X -> d X,
               h X -> c n__d X}
  UR:
   {            c X -> d activate X,
                f X -> n__f X,
              f f X -> c n__f g n__f X,
                d X -> n__d X,
         activate X -> X,
    activate n__f X -> f X,
    activate n__d X -> d X}
   EDG:
    {(activate# n__f X -> f# X, f# f X -> c# n__f g n__f X)
     (f# f X -> c# n__f g n__f X, c# X -> activate# X)
     (f# f X -> c# n__f g n__f X, c# X -> d# activate X)
     (h# X -> c# n__d X, c# X -> d# activate X)
     (h# X -> c# n__d X, c# X -> activate# X)
     (c# X -> activate# X, activate# n__f X -> f# X)
     (c# X -> activate# X, activate# n__d X -> d# X)}
    STATUS:
     arrows: 0.805556
     SCCS (1):
      Scc:
       {            c# X -> activate# X,
                  f# f X -> c# n__f g n__f X,
        activate# n__f X -> f# X}
      
      
      SCC (3):
       Strict:
        {            c# X -> activate# X,
                   f# f X -> c# n__f g n__f X,
         activate# n__f X -> f# X}
       Weak:
       {            c X -> d activate X,
                    f X -> n__f X,
                  f f X -> c n__f g n__f X,
                    d X -> n__d X,
             activate X -> X,
        activate n__f X -> f X,
        activate n__d X -> d X,
                    h X -> c n__d X}
       Open