YES
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(.(x, y)) -> .(s(x), int_list(y)),
    int_list(nil()) -> nil()}
 DP:
  Strict:
   {   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)}
  Weak:
  {    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(.(x, y)) -> .(s(x), int_list(y)),
     int_list(nil()) -> nil()}
  EDG:
   {(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#(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)))
    (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)))}
   SCCS:
    Scc:
     {int_list#(.(x, y)) -> int_list#(y)}
    Scc:
     { int#(0(), s(y)) -> int#(s(0()), s(y)),
      int#(s(x), s(y)) -> int#(x, y)}
    SCC:
     Strict:
      {int_list#(.(x, y)) -> int_list#(y)}
     Weak:
     {    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(.(x, y)) -> .(s(x), int_list(y)),
        int_list(nil()) -> nil()}
     SPSC:
      Simple Projection:
       pi(int_list#) = 0
      Strict:
       {}
      Qed
    SCC:
     Strict:
      { int#(0(), s(y)) -> int#(s(0()), s(y)),
       int#(s(x), s(y)) -> int#(x, y)}
     Weak:
     {    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(.(x, y)) -> .(s(x), int_list(y)),
        int_list(nil()) -> nil()}
     SPSC:
      Simple Projection:
       pi(int#) = 1
      Strict:
       {int#(0(), s(y)) -> int#(s(0()), s(y))}
      EDG:
       {}
       SCCS:
        
        Qed