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