YES
Time: 0.011796
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}
  UR:
   {  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)}
    STATUS:
     arrows: 0.888889
     SCCS (0):