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