MAYBE
TRS:
 {              h(z, e(x)) -> h(c(z), d(z, x)),
             d(z, g(x, y)) -> g(e(x), d(z, y)),
         d(z, g(0(), 0())) -> e(0()),
  d(c(z), g(g(x, y), 0())) -> g(d(c(z), g(x, y)), d(z, g(x, y))),
             g(e(x), e(y)) -> e(g(x, y))}
 DP:
  Strict:
   {              h#(z, e(x)) -> h#(c(z), d(z, x)),
                  h#(z, e(x)) -> d#(z, x),
               d#(z, g(x, y)) -> d#(z, y),
               d#(z, g(x, y)) -> g#(e(x), d(z, y)),
    d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)),
    d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)),
    d#(c(z), g(g(x, y), 0())) -> g#(d(c(z), g(x, y)), d(z, g(x, y))),
               g#(e(x), e(y)) -> g#(x, y)}
  Weak:
  {              h(z, e(x)) -> h(c(z), d(z, x)),
              d(z, g(x, y)) -> g(e(x), d(z, y)),
          d(z, g(0(), 0())) -> e(0()),
   d(c(z), g(g(x, y), 0())) -> g(d(c(z), g(x, y)), d(z, g(x, y))),
              g(e(x), e(y)) -> e(g(x, y))}
  EDG:
   {(h#(z, e(x)) -> h#(c(z), d(z, x)), h#(z, e(x)) -> d#(z, x))
    (h#(z, e(x)) -> h#(c(z), d(z, x)), h#(z, e(x)) -> h#(c(z), d(z, x)))
    (d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)), d#(c(z), g(g(x, y), 0())) -> g#(d(c(z), g(x, y)), d(z, g(x, y))))
    (d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)), d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)))
    (d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)), d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)))
    (d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)), d#(z, g(x, y)) -> g#(e(x), d(z, y)))
    (d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)), d#(z, g(x, y)) -> d#(z, y))
    (d#(z, g(x, y)) -> d#(z, y), d#(c(z), g(g(x, y), 0())) -> g#(d(c(z), g(x, y)), d(z, g(x, y))))
    (d#(z, g(x, y)) -> d#(z, y), d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)))
    (d#(z, g(x, y)) -> d#(z, y), d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)))
    (d#(z, g(x, y)) -> d#(z, y), d#(z, g(x, y)) -> g#(e(x), d(z, y)))
    (d#(z, g(x, y)) -> d#(z, y), d#(z, g(x, y)) -> d#(z, y))
    (h#(z, e(x)) -> d#(z, x), d#(c(z), g(g(x, y), 0())) -> g#(d(c(z), g(x, y)), d(z, g(x, y))))
    (h#(z, e(x)) -> d#(z, x), d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)))
    (h#(z, e(x)) -> d#(z, x), d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)))
    (h#(z, e(x)) -> d#(z, x), d#(z, g(x, y)) -> g#(e(x), d(z, y)))
    (h#(z, e(x)) -> d#(z, x), d#(z, g(x, y)) -> d#(z, y))
    (g#(e(x), e(y)) -> g#(x, y), g#(e(x), e(y)) -> g#(x, y))
    (d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)), d#(z, g(x, y)) -> d#(z, y))
    (d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)), d#(z, g(x, y)) -> g#(e(x), d(z, y)))
    (d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)), d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)))
    (d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)), d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)))
    (d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)), d#(c(z), g(g(x, y), 0())) -> g#(d(c(z), g(x, y)), d(z, g(x, y))))
    (d#(z, g(x, y)) -> g#(e(x), d(z, y)), g#(e(x), e(y)) -> g#(x, y))
    (d#(c(z), g(g(x, y), 0())) -> g#(d(c(z), g(x, y)), d(z, g(x, y))), g#(e(x), e(y)) -> g#(x, y))}
   SCCS:
    Scc:
     {g#(e(x), e(y)) -> g#(x, y)}
    Scc:
     {           d#(z, g(x, y)) -> d#(z, y),
      d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)),
      d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y))}
    Scc:
     {h#(z, e(x)) -> h#(c(z), d(z, x))}
    SCC:
     Strict:
      {g#(e(x), e(y)) -> g#(x, y)}
     Weak:
     {              h(z, e(x)) -> h(c(z), d(z, x)),
                 d(z, g(x, y)) -> g(e(x), d(z, y)),
             d(z, g(0(), 0())) -> e(0()),
      d(c(z), g(g(x, y), 0())) -> g(d(c(z), g(x, y)), d(z, g(x, y))),
                 g(e(x), e(y)) -> e(g(x, y))}
     SPSC:
      Simple Projection:
       pi(g#) = 0
      Strict:
       {}
      Qed
    SCC:
     Strict:
      {           d#(z, g(x, y)) -> d#(z, y),
       d#(c(z), g(g(x, y), 0())) -> d#(z, g(x, y)),
       d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y))}
     Weak:
     {              h(z, e(x)) -> h(c(z), d(z, x)),
                 d(z, g(x, y)) -> g(e(x), d(z, y)),
             d(z, g(0(), 0())) -> e(0()),
      d(c(z), g(g(x, y), 0())) -> g(d(c(z), g(x, y)), d(z, g(x, y))),
                 g(e(x), e(y)) -> e(g(x, y))}
     SPSC:
      Simple Projection:
       pi(d#) = 0
      Strict:
       {           d#(z, g(x, y)) -> d#(z, y),
        d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y))}
      EDG:
       {(d#(z, g(x, y)) -> d#(z, y), d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)))
        (d#(z, g(x, y)) -> d#(z, y), d#(z, g(x, y)) -> d#(z, y))
        (d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)), d#(z, g(x, y)) -> d#(z, y))
        (d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)), d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y)))}
       SCCS:
        Scc:
         {           d#(z, g(x, y)) -> d#(z, y),
          d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y))}
        SCC:
         Strict:
          {           d#(z, g(x, y)) -> d#(z, y),
           d#(c(z), g(g(x, y), 0())) -> d#(c(z), g(x, y))}
         Weak:
         {              h(z, e(x)) -> h(c(z), d(z, x)),
                     d(z, g(x, y)) -> g(e(x), d(z, y)),
                 d(z, g(0(), 0())) -> e(0()),
          d(c(z), g(g(x, y), 0())) -> g(d(c(z), g(x, y)), d(z, g(x, y))),
                     g(e(x), e(y)) -> e(g(x, y))}
         SPSC:
          Simple Projection:
           pi(d#) = 1
          Strict:
           {d#(z, g(x, y)) -> d#(z, y)}
          EDG:
           {(d#(z, g(x, y)) -> d#(z, y), d#(z, g(x, y)) -> d#(z, y))}
           SCCS:
            Scc:
             {d#(z, g(x, y)) -> d#(z, y)}
            SCC:
             Strict:
              {d#(z, g(x, y)) -> d#(z, y)}
             Weak:
             {              h(z, e(x)) -> h(c(z), d(z, x)),
                         d(z, g(x, y)) -> g(e(x), d(z, y)),
                     d(z, g(0(), 0())) -> e(0()),
              d(c(z), g(g(x, y), 0())) -> g(d(c(z), g(x, y)), d(z, g(x, y))),
                         g(e(x), e(y)) -> e(g(x, y))}
             SPSC:
              Simple Projection:
               pi(d#) = 1
              Strict:
               {}
              Qed
    SCC:
     Strict:
      {h#(z, e(x)) -> h#(c(z), d(z, x))}
     Weak:
     {              h(z, e(x)) -> h(c(z), d(z, x)),
                 d(z, g(x, y)) -> g(e(x), d(z, y)),
             d(z, g(0(), 0())) -> e(0()),
      d(c(z), g(g(x, y), 0())) -> g(d(c(z), g(x, y)), d(z, g(x, y))),
                 g(e(x), e(y)) -> e(g(x, y))}
     Fail