YES
TRS:
 {f(cons(f(cons(nil(), y)), z)) -> copy(n(), y, z),
              f(cons(nil(), y)) -> y,
                copy(0(), y, z) -> f(z),
               copy(s(x), y, z) -> copy(x, y, cons(f(y), z))}
 DP:
  Strict:
   {f#(cons(f(cons(nil(), y)), z)) -> copy#(n(), y, z),
                  copy#(0(), y, z) -> f#(z),
                 copy#(s(x), y, z) -> f#(y),
                 copy#(s(x), y, z) -> copy#(x, y, cons(f(y), z))}
  Weak:
  {f(cons(f(cons(nil(), y)), z)) -> copy(n(), y, z),
               f(cons(nil(), y)) -> y,
                 copy(0(), y, z) -> f(z),
                copy(s(x), y, z) -> copy(x, y, cons(f(y), z))}
  EDG:
   {(copy#(s(x), y, z) -> copy#(x, y, cons(f(y), z)), copy#(s(x), y, z) -> copy#(x, y, cons(f(y), z)))
    (copy#(s(x), y, z) -> copy#(x, y, cons(f(y), z)), copy#(s(x), y, z) -> f#(y))
    (copy#(s(x), y, z) -> copy#(x, y, cons(f(y), z)), copy#(0(), y, z) -> f#(z))
    (copy#(0(), y, z) -> f#(z), f#(cons(f(cons(nil(), y)), z)) -> copy#(n(), y, z))
    (copy#(s(x), y, z) -> f#(y), f#(cons(f(cons(nil(), y)), z)) -> copy#(n(), y, z))}
   SCCS:
    Scc:
     {copy#(s(x), y, z) -> copy#(x, y, cons(f(y), z))}
    SCC:
     Strict:
      {copy#(s(x), y, z) -> copy#(x, y, cons(f(y), z))}
     Weak:
     {f(cons(f(cons(nil(), y)), z)) -> copy(n(), y, z),
                  f(cons(nil(), y)) -> y,
                    copy(0(), y, z) -> f(z),
                   copy(s(x), y, z) -> copy(x, y, cons(f(y), z))}
     SPSC:
      Simple Projection:
       pi(copy#) = 0
      Strict:
       {}
      Qed