YES
Time: 0.039578
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}
       POLY:
        Mode: weak, max_in=1, output_bits=-1, dnum=1, ur=true
        Interpretation:
         [c](x0) = 0,
         
         [n__f](x0) = x0 + 1,
         
         [g](x0) = 0,
         
         [f](x0) = 1,
         
         [d](x0) = x0 + 1,
         
         [activate](x0) = x0 + 1,
         
         [n__d](x0) = 1,
         
         [h](x0) = 0,
         
         [c#](x0) = x0,
         
         [f#](x0) = x0,
         
         [activate#](x0) = x0
        Strict:
         activate# n__f X -> f# X
         1 + 1X >= 0 + 1X
         f# f X -> c# n__f g n__f X
         1 + 0X >= 1 + 0X
         c# X -> activate# X
         0 + 1X >= 0 + 1X
        Weak:
         h X -> c n__d X
         0 + 0X >= 0 + 0X
         activate n__d X -> d X
         2 + 0X >= 1 + 1X
         activate n__f X -> f X
         2 + 1X >= 1 + 0X
         activate X -> X
         1 + 1X >= 1X
         d X -> n__d X
         1 + 1X >= 1 + 0X
         f f X -> c n__f g n__f X
         1 + 0X >= 0 + 0X
         f X -> n__f X
         1 + 0X >= 1 + 1X
         c X -> d activate X
         0 + 0X >= 2 + 1X
       SCCS (0):