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