MAYBE

Problem:
 int(0(),0()) -> .(0(),nil())
 int(0(),s(y)) -> .(0(),int(s(0()),s(y)))
 int(s(x),0()) -> nil()
 int(s(x),s(y)) -> int_list(int(x,y))
 int_list(nil()) -> nil()
 int_list(.(x,y)) -> .(s(x),int_list(y))

Proof:
 DP Processor:
  DPs:
   int#(0(),s(y)) -> int#(s(0()),s(y))
   int#(s(x),s(y)) -> int#(x,y)
   int#(s(x),s(y)) -> int_list#(int(x,y))
   int_list#(.(x,y)) -> int_list#(y)
  TRS:
   int(0(),0()) -> .(0(),nil())
   int(0(),s(y)) -> .(0(),int(s(0()),s(y)))
   int(s(x),0()) -> nil()
   int(s(x),s(y)) -> int_list(int(x,y))
   int_list(nil()) -> nil()
   int_list(.(x,y)) -> .(s(x),int_list(y))
  TDG Processor:
   DPs:
    int#(0(),s(y)) -> int#(s(0()),s(y))
    int#(s(x),s(y)) -> int#(x,y)
    int#(s(x),s(y)) -> int_list#(int(x,y))
    int_list#(.(x,y)) -> int_list#(y)
   TRS:
    int(0(),0()) -> .(0(),nil())
    int(0(),s(y)) -> .(0(),int(s(0()),s(y)))
    int(s(x),0()) -> nil()
    int(s(x),s(y)) -> int_list(int(x,y))
    int_list(nil()) -> nil()
    int_list(.(x,y)) -> .(s(x),int_list(y))
   graph:
    int_list#(.(x,y)) -> int_list#(y) ->
    int_list#(.(x,y)) -> int_list#(y)
    int#(s(x),s(y)) -> int_list#(int(x,y)) ->
    int_list#(.(x,y)) -> int_list#(y)
    int#(s(x),s(y)) -> int#(x,y) ->
    int#(s(x),s(y)) -> int_list#(int(x,y))
    int#(s(x),s(y)) -> int#(x,y) -> int#(s(x),s(y)) -> int#(x,y)
    int#(s(x),s(y)) -> int#(x,y) ->
    int#(0(),s(y)) -> int#(s(0()),s(y))
    int#(0(),s(y)) -> int#(s(0()),s(y)) ->
    int#(s(x),s(y)) -> int_list#(int(x,y))
    int#(0(),s(y)) -> int#(s(0()),s(y)) ->
    int#(s(x),s(y)) -> int#(x,y)
    int#(0(),s(y)) -> int#(s(0()),s(y)) -> int#(0(),s(y)) -> int#(s(0()),s(y))
   EDG Processor:
    DPs:
     int#(0(),s(y)) -> int#(s(0()),s(y))
     int#(s(x),s(y)) -> int#(x,y)
     int#(s(x),s(y)) -> int_list#(int(x,y))
     int_list#(.(x,y)) -> int_list#(y)
    TRS:
     int(0(),0()) -> .(0(),nil())
     int(0(),s(y)) -> .(0(),int(s(0()),s(y)))
     int(s(x),0()) -> nil()
     int(s(x),s(y)) -> int_list(int(x,y))
     int_list(nil()) -> nil()
     int_list(.(x,y)) -> .(s(x),int_list(y))
    graph:
     int_list#(.(x,y)) -> int_list#(y) ->
     int_list#(.(x,y)) -> int_list#(y)
     int#(s(x),s(y)) -> int_list#(int(x,y)) ->
     int_list#(.(x,y)) -> int_list#(y)
     int#(s(x),s(y)) -> int#(x,y) ->
     int#(0(),s(y)) -> int#(s(0()),s(y))
     int#(s(x),s(y)) -> int#(x,y) -> int#(s(x),s(y)) -> int#(x,y)
     int#(s(x),s(y)) -> int#(x,y) ->
     int#(s(x),s(y)) -> int_list#(int(x,y))
     int#(0(),s(y)) -> int#(s(0()),s(y)) ->
     int#(s(x),s(y)) -> int#(x,y)
     int#(0(),s(y)) -> int#(s(0()),s(y)) -> int#(s(x),s(y)) -> int_list#(int(x,y))
    CDG Processor:
     DPs:
      int#(0(),s(y)) -> int#(s(0()),s(y))
      int#(s(x),s(y)) -> int#(x,y)
      int#(s(x),s(y)) -> int_list#(int(x,y))
      int_list#(.(x,y)) -> int_list#(y)
     TRS:
      int(0(),0()) -> .(0(),nil())
      int(0(),s(y)) -> .(0(),int(s(0()),s(y)))
      int(s(x),0()) -> nil()
      int(s(x),s(y)) -> int_list(int(x,y))
      int_list(nil()) -> nil()
      int_list(.(x,y)) -> .(s(x),int_list(y))
     graph:
      int#(s(x),s(y)) -> int_list#(int(x,y)) ->
      int_list#(.(x,y)) -> int_list#(y)
      int#(s(x),s(y)) -> int#(x,y) ->
      int#(s(x),s(y)) -> int_list#(int(x,y))
      int#(s(x),s(y)) -> int#(x,y) -> int#(s(x),s(y)) -> int#(x,y)
      int#(s(x),s(y)) -> int#(x,y) ->
      int#(0(),s(y)) -> int#(s(0()),s(y))
      int#(0(),s(y)) -> int#(s(0()),s(y)) ->
      int#(s(x),s(y)) -> int_list#(int(x,y))
      int#(0(),s(y)) -> int#(s(0()),s(y)) -> int#(s(x),s(y)) -> int#(x,y)
     Restore Modifier:
      DPs:
       int#(0(),s(y)) -> int#(s(0()),s(y))
       int#(s(x),s(y)) -> int#(x,y)
       int#(s(x),s(y)) -> int_list#(int(x,y))
       int_list#(.(x,y)) -> int_list#(y)
      TRS:
       int(0(),0()) -> .(0(),nil())
       int(0(),s(y)) -> .(0(),int(s(0()),s(y)))
       int(s(x),0()) -> nil()
       int(s(x),s(y)) -> int_list(int(x,y))
       int_list(nil()) -> nil()
       int_list(.(x,y)) -> .(s(x),int_list(y))
      SCC Processor:
       #sccs: 1
       #rules: 2
       #arcs: 6/16
       DPs:
        int#(s(x),s(y)) -> int#(x,y)
        int#(0(),s(y)) -> int#(s(0()),s(y))
       TRS:
        int(0(),0()) -> .(0(),nil())
        int(0(),s(y)) -> .(0(),int(s(0()),s(y)))
        int(s(x),0()) -> nil()
        int(s(x),s(y)) -> int_list(int(x,y))
        int_list(nil()) -> nil()
        int_list(.(x,y)) -> .(s(x),int_list(y))
       Open