MAYBE
MAYBE
TRS:
 {  f(f(x)) -> b(),
  f(g(a())) -> f(s(g(b()))),
       g(x) -> f(g(x))}
 Fail