YES
Time: 0.000510
TRS:
 {            f X -> n__f X,
          f f a() -> c n__f g f a(),
       activate X -> X,
  activate n__f X -> f X}
 DP:
  DP:
   {activate# n__f X -> f# X}
  TRS:
  {            f X -> n__f X,
           f f a() -> c n__f g f a(),
        activate X -> X,
   activate n__f X -> f X}
  UR:
   {}
   EDG:
    {}
    STATUS:
     arrows: 1.000000
     SCCS (0):