MAYBE

Problem:
 intlist(nil()) -> nil()
 int(s(x),0()) -> nil()
 int(x,x) -> cons(x,nil())
 intlist(cons(x,y)) -> cons(s(x),intlist(y))
 int(s(x),s(y)) -> intlist(int(x,y))
 int(0(),s(y)) -> cons(0(),int(s(0()),s(y)))
 intlist(cons(x,nil())) -> cons(s(x),nil())

Proof:
 DP Processor:
  DPs:
   intlist#(cons(x,y)) -> intlist#(y)
   int#(s(x),s(y)) -> int#(x,y)
   int#(s(x),s(y)) -> intlist#(int(x,y))
   int#(0(),s(y)) -> int#(s(0()),s(y))
  TRS:
   intlist(nil()) -> nil()
   int(s(x),0()) -> nil()
   int(x,x) -> cons(x,nil())
   intlist(cons(x,y)) -> cons(s(x),intlist(y))
   int(s(x),s(y)) -> intlist(int(x,y))
   int(0(),s(y)) -> cons(0(),int(s(0()),s(y)))
   intlist(cons(x,nil())) -> cons(s(x),nil())
  Open