MAYBE

Problem:
 d(0()) -> 0()
 d(s(x)) -> s(s(d(x)))
 e(0(),x) -> x
 e(s(x),y) -> e(x,d(y))

Proof:
 DP Processor:
  DPs:
   d#(s(x)) -> d#(x)
   e#(s(x),y) -> d#(y)
   e#(s(x),y) -> e#(x,d(y))
  TRS:
   d(0()) -> 0()
   d(s(x)) -> s(s(d(x)))
   e(0(),x) -> x
   e(s(x),y) -> e(x,d(y))
  EDG Processor:
   DPs:
    d#(s(x)) -> d#(x)
    e#(s(x),y) -> d#(y)
    e#(s(x),y) -> e#(x,d(y))
   TRS:
    d(0()) -> 0()
    d(s(x)) -> s(s(d(x)))
    e(0(),x) -> x
    e(s(x),y) -> e(x,d(y))
   graph:
    e#(s(x),y) -> e#(x,d(y)) -> e#(s(x),y) -> d#(y)
    e#(s(x),y) -> e#(x,d(y)) -> e#(s(x),y) -> e#(x,d(y))
    e#(s(x),y) -> d#(y) -> d#(s(x)) -> d#(x)
    d#(s(x)) -> d#(x) -> d#(s(x)) -> d#(x)
   SCC Processor:
    #sccs: 2
    #rules: 2
    #arcs: 4/9
    DPs:
     e#(s(x),y) -> e#(x,d(y))
    TRS:
     d(0()) -> 0()
     d(s(x)) -> s(s(d(x)))
     e(0(),x) -> x
     e(s(x),y) -> e(x,d(y))
    Open
    
    DPs:
     d#(s(x)) -> d#(x)
    TRS:
     d(0()) -> 0()
     d(s(x)) -> s(s(d(x)))
     e(0(),x) -> x
     e(s(x),y) -> e(x,d(y))
    Open