YES
Time: 0.001248
TRS:
 {  f f X -> f a b f X,
  f a g X -> b X,
      b X -> a X}
 DP:
  DP:
   {  f# f X -> f# a b f X,
      f# f X -> b# f X,
    f# a g X -> b# X}
  TRS:
  {  f f X -> f a b f X,
   f a g X -> b X,
       b X -> a X}
  EDG:
   {(f# f X -> f# a b f X, f# a g X -> b# X)}
   EDG:
    {}
    EDG:
     {}
     STATUS:
      arrows: 1.000000
      SCCS (0):