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