YES
Time: 0.025697
TRS:
 {      mark f X -> active f X,
        mark g X -> active g mark X,
        mark a() -> active a(),
        f mark X -> f X,
      f active X -> f X,
        g mark X -> g X,
      g active X -> g X,
  active f f a() -> mark f g f a()}
 DP:
  DP:
   {      mark# f X -> active# f X,
          mark# g X -> mark# X,
          mark# g X -> g# mark X,
          mark# g X -> active# g mark X,
          mark# a() -> active# a(),
          f# mark X -> f# X,
        f# active X -> f# X,
          g# mark X -> g# X,
        g# active X -> g# X,
    active# f f a() -> mark# f g f a(),
    active# f f a() -> f# g f a(),
    active# f f a() -> g# f a()}
  TRS:
  {      mark f X -> active f X,
         mark g X -> active g mark X,
         mark a() -> active a(),
         f mark X -> f X,
       f active X -> f X,
         g mark X -> g X,
       g active X -> g X,
   active f f a() -> mark f g f a()}
  UR:
   {      mark f X -> active f X,
          mark g X -> active g mark X,
          mark a() -> active a(),
          f mark X -> f X,
        f active X -> f X,
          g mark X -> g X,
        g active X -> g X,
    active f f a() -> mark f g f a()}
   EDG:
    {(active# f f a() -> mark# f g f a(), mark# f X -> active# f X)
     (mark# g X -> g# mark X, g# mark X -> g# X)
     (mark# g X -> g# mark X, g# active X -> g# X)
     (mark# g X -> mark# X, mark# f X -> active# f X)}
    STATUS:
     arrows: 0.972222
     SCCS (0):