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