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:
 Complexity Transformation Processor:
  strict:
   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))
  weak:
   
  Matrix Interpretation Processor:
   dimension: 1
   max_matrix:
    1
    interpretation:
     [int_list](x0) = x0,
     
     [s](x0) = x0,
     
     [.](x0, x1) = x0 + x1,
     
     [nil] = 1,
     
     [int](x0, x1) = x0 + x1 + 1,
     
     [0] = 1
    orientation:
     int(0(),0()) = 3 >= 2 = .(0(),nil())
     
     int(0(),s(y)) = y + 2 >= y + 3 = .(0(),int(s(0()),s(y)))
     
     int(s(x),0()) = x + 2 >= 1 = nil()
     
     int(s(x),s(y)) = x + y + 1 >= x + y + 1 = int_list(int(x,y))
     
     int_list(nil()) = 1 >= 1 = nil()
     
     int_list(.(x,y)) = x + y >= x + y = .(s(x),int_list(y))
    problem:
     strict:
      int(0(),s(y)) -> .(0(),int(s(0()),s(y)))
      int(s(x),s(y)) -> int_list(int(x,y))
      int_list(nil()) -> nil()
      int_list(.(x,y)) -> .(s(x),int_list(y))
     weak:
      int(0(),0()) -> .(0(),nil())
      int(s(x),0()) -> nil()
    Matrix Interpretation Processor:
     dimension: 1
     max_matrix:
      1
      interpretation:
       [int_list](x0) = x0 + 1,
       
       [s](x0) = x0,
       
       [.](x0, x1) = x0 + x1,
       
       [nil] = 1,
       
       [int](x0, x1) = x0 + x1 + 1,
       
       [0] = 0
      orientation:
       int(0(),s(y)) = y + 1 >= y + 1 = .(0(),int(s(0()),s(y)))
       
       int(s(x),s(y)) = x + y + 1 >= x + y + 2 = int_list(int(x,y))
       
       int_list(nil()) = 2 >= 1 = nil()
       
       int_list(.(x,y)) = x + y + 1 >= x + y + 1 = .(s(x),int_list(y))
       
       int(0(),0()) = 1 >= 1 = .(0(),nil())
       
       int(s(x),0()) = x + 1 >= 1 = nil()
      problem:
       strict:
        int(0(),s(y)) -> .(0(),int(s(0()),s(y)))
        int(s(x),s(y)) -> int_list(int(x,y))
        int_list(.(x,y)) -> .(s(x),int_list(y))
       weak:
        int_list(nil()) -> nil()
        int(0(),0()) -> .(0(),nil())
        int(s(x),0()) -> nil()
      Matrix Interpretation Processor:
       dimension: 1
       max_matrix:
        1
        interpretation:
         [int_list](x0) = x0,
         
         [s](x0) = x0 + 1,
         
         [.](x0, x1) = x0 + x1,
         
         [nil] = 0,
         
         [int](x0, x1) = x0 + x1,
         
         [0] = 0
        orientation:
         int(0(),s(y)) = y + 1 >= y + 2 = .(0(),int(s(0()),s(y)))
         
         int(s(x),s(y)) = x + y + 2 >= x + y = int_list(int(x,y))
         
         int_list(.(x,y)) = x + y >= x + y + 1 = .(s(x),int_list(y))
         
         int_list(nil()) = 0 >= 0 = nil()
         
         int(0(),0()) = 0 >= 0 = .(0(),nil())
         
         int(s(x),0()) = x + 1 >= 0 = nil()
        problem:
         strict:
          int(0(),s(y)) -> .(0(),int(s(0()),s(y)))
          int_list(.(x,y)) -> .(s(x),int_list(y))
         weak:
          int(s(x),s(y)) -> int_list(int(x,y))
          int_list(nil()) -> nil()
          int(0(),0()) -> .(0(),nil())
          int(s(x),0()) -> nil()
        Bounds Processor:
         bound: 1
         enrichment: match
         automaton:
          final states: {7}
          transitions:
           .1(13,15) -> 40,20,15,21,24,7
           .1(13,21) -> 24*
           .1(14,20) -> 24,40,20,21,15,7
           .1(12,21) -> 21,7
           .1(13,20) -> 40,15,24,20
           .1(14,15) -> 20,24,40,15
           01() -> 13*
           int1(13,7) -> 24*
           int1(14,12) -> 15*
           int1(12,7) -> 40*
           int1(7,7) -> 24*
           int1(14,7) -> 40*
           s1(12) -> 13*
           s1(7) -> 12*
           s1(14) -> 13*
           s1(13) -> 14*
           int_list1(40) -> 24*
           int_list1(20) -> 15*
           int_list1(15) -> 20*
           int_list1(7) -> 21*
           int_list1(24) -> 24,40,15
           int_list1(21) -> 15*
           int0(7,7) -> 7*
           00() -> 7*
           s0(7) -> 7*
           .0(7,7) -> 7*
           int_list0(7) -> 7*
           nil1() -> 40,20,24,15,21
           nil0() -> 7*
         problem:
          strict:
           int_list(.(x,y)) -> .(s(x),int_list(y))
          weak:
           int(0(),s(y)) -> .(0(),int(s(0()),s(y)))
           int(s(x),s(y)) -> int_list(int(x,y))
           int_list(nil()) -> nil()
           int(0(),0()) -> .(0(),nil())
           int(s(x),0()) -> nil()
         Open