MAYBE
Time: 0.000603
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# f X -> f# a b f X)
     (f# f X -> f# a b f X, f# f X -> b# f X)
     (f# f X -> f# a b f X, f# a g X -> b# X)}
    STATUS:
     arrows: 0.666667
     SCCS (1):
      Scc:
       {f# f X -> f# a b f X}
      
      SCC (1):
       Strict:
        {f# f X -> f# a b f X}
       Weak:
       {  f f X -> f a b f X,
        f a g X -> b X,
            b X -> a X}
       Open