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