MAYBE
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))
 }
 DUP: We consider a duplicating system.
  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))
   }
  Fail