MAYBE MAYBE TRS: { c() -> d(), f(f(X)) -> c(), h(X) -> c()} DUP: We consider a non-duplicating system. Trs: { c() -> d(), f(f(X)) -> c(), h(X) -> c()} Fail