YES
Time: 0.000699
TRS:
 {            f X -> n__f X,
    f n__f n__a() -> f n__g f n__a(),
              a() -> n__a(),
              g X -> n__g X,
       activate X -> X,
  activate n__g X -> g X,
  activate n__a() -> a(),
  activate n__f X -> f X}
 DP:
  DP:
   {  f# n__f n__a() -> f# n__g f n__a(),
      f# n__f n__a() -> f# n__a(),
    activate# n__g X -> g# X,
    activate# n__a() -> a#(),
    activate# n__f X -> f# X}
  TRS:
  {            f X -> n__f X,
     f n__f n__a() -> f n__g f n__a(),
               a() -> n__a(),
               g X -> n__g X,
        activate X -> X,
   activate n__g X -> g X,
   activate n__a() -> a(),
   activate n__f X -> f X}
  EDG:
   {(activate# n__f X -> f# X, f# n__f n__a() -> f# n__g f n__a())
    (activate# n__f X -> f# X, f# n__f n__a() -> f# n__a())}
   STATUS:
    arrows: 0.920000
    SCCS (0):