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