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