MAYBE
TRS:
 {  f(f(x)) -> b(),
  f(g(a())) -> f(s(g(b()))),
       g(x) -> f(g(x))}
 RUF:
  Strict:
   {f(f(x)) -> b(),
       g(x) -> f(g(x))}
  Weak:
   {}
  DP:
   Strict:
    {g#(x) -> f#(g(x)),
     g#(x) -> g#(x)}
   Weak:
   {f(f(x)) -> b(),
       g(x) -> f(g(x))}
   EDG:
    {(g#(x) -> g#(x), g#(x) -> f#(g(x)))
     (g#(x) -> g#(x), g#(x) -> g#(x))}
    SCCS:
     Scc:
      {g#(x) -> g#(x)}
     SCC:
      Strict:
       {g#(x) -> g#(x)}
      Weak:
      {f(f(x)) -> b(),
          g(x) -> f(g(x))}
      Fail