MAYBE
MAYBE
TRS:
 {  f(f(x)) -> b(),
  f(g(a())) -> f(s(g(b()))),
       g(x) -> f(g(x))}
 DUP: We consider a non-duplicating system.
  Trs:
   {  f(f(x)) -> b(),
    f(g(a())) -> f(s(g(b()))),
         g(x) -> f(g(x))}
  Fail