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