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