YES
Time: 0.000426
TRS:
 {  f f X -> f a b f X,
  f a g X -> b X,
      b X -> a X}
 RUF:
  Strict:
   {f f X -> f a b f X,
      b X -> a X}
  Weak:
   {}
  DP:
   DP:
    {f# f X -> f# a b f X,
     f# f X -> b# f X}
   TRS:
   {f f X -> f a b f X,
      b X -> a X}
   EDG:
    {}
    SCCS (0):
     
     Qed