MAYBE
TRS:
 {h(d()) -> g(c()),
    g(X) -> h(X),
     c() -> d()}
 DP:
  Strict:
   {h#(d()) -> g#(c()),
    h#(d()) -> c#(),
      g#(X) -> h#(X)}
  Weak:
  {h(d()) -> g(c()),
     g(X) -> h(X),
      c() -> d()}
  EDG:
   {(g#(X) -> h#(X), h#(d()) -> g#(c()))
    (g#(X) -> h#(X), h#(d()) -> c#())
    (h#(d()) -> g#(c()), g#(X) -> h#(X))}
   SCCS:
    Scc:
     {h#(d()) -> g#(c()),
        g#(X) -> h#(X)}
    SCC:
     Strict:
      {h#(d()) -> g#(c()),
         g#(X) -> h#(X)}
     Weak:
     {h(d()) -> g(c()),
        g(X) -> h(X),
         c() -> d()}
     Fail