YES
Time: 0.002190
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}
  EDG:
   {(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)}
   STATUS:
    arrows: 0.861111
    SCCS (0):