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