YES
Time: 0.001547
TRS:
 {    a__f X -> f X,
  a__f f a() -> c f g f a(),
    mark c X -> c X,
    mark f X -> a__f mark X,
    mark g X -> g mark X,
    mark a() -> a()}
 DP:
  DP:
   {mark# f X -> a__f# mark X,
    mark# f X -> mark# X,
    mark# g X -> mark# X}
  TRS:
  {    a__f X -> f X,
   a__f f a() -> c f g f a(),
     mark c X -> c X,
     mark f X -> a__f mark X,
     mark g X -> g mark X,
     mark a() -> a()}
  EDG:
   {(mark# g X -> mark# X, mark# g X -> mark# X)
    (mark# g X -> mark# X, mark# f X -> mark# X)
    (mark# g X -> mark# X, mark# f X -> a__f# mark X)
    (mark# f X -> mark# X, mark# f X -> a__f# mark X)
    (mark# f X -> mark# X, mark# f X -> mark# X)
    (mark# f X -> mark# X, mark# g X -> mark# X)}
   EDG:
    {(mark# g X -> mark# X, mark# g X -> mark# X)
     (mark# g X -> mark# X, mark# f X -> mark# X)
     (mark# g X -> mark# X, mark# f X -> a__f# mark X)
     (mark# f X -> mark# X, mark# f X -> a__f# mark X)
     (mark# f X -> mark# X, mark# f X -> mark# X)
     (mark# f X -> mark# X, mark# g X -> mark# X)}
    EDG:
     {}
     EDG:
      {}
      STATUS:
       arrows: 1.000000
       SCCS (0):