MAYBE
Time: 0.009307
TRS:
 {    a__f X -> f X,
  a__f f a() -> a__f g f a(),
    mark g X -> g X,
    mark f X -> a__f mark X,
    mark a() -> a()}
 DP:
  DP:
   {a__f# f a() -> a__f# g f a(),
      mark# f X -> a__f# mark X,
      mark# f X -> mark# X}
  TRS:
  {    a__f X -> f X,
   a__f f a() -> a__f g f a(),
     mark g X -> g X,
     mark f X -> a__f mark X,
     mark a() -> a()}
  UR:
   {    a__f X -> f X,
    a__f f a() -> a__f g f a(),
      mark g X -> g X,
      mark f X -> a__f mark X,
      mark a() -> a()}
   EDG:
    {(mark# f X -> a__f# mark X, a__f# f a() -> a__f# g f a())
     (mark# f X -> mark# X, mark# f X -> a__f# mark X)
     (mark# f X -> mark# X, mark# f X -> mark# X)}
    STATUS:
     arrows: 0.666667
     SCCS (1):
      Scc:
       {mark# f X -> mark# X}
      
      SCC (1):
       Strict:
        {mark# f X -> mark# X}
       Weak:
       {    a__f X -> f X,
        a__f f a() -> a__f g f a(),
          mark g X -> g X,
          mark f X -> a__f mark X,
          mark a() -> a()}
       Open