YES

Problem:
 f(cons(nil(),y)) -> y
 f(cons(f(cons(nil(),y)),z)) -> copy(n(),y,z)
 copy(0(),y,z) -> f(z)
 copy(s(x),y,z) -> copy(x,y,cons(f(y),z))

Proof:
 DP Processor:
  DPs:
   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))
  TRS:
   f(cons(nil(),y)) -> y
   f(cons(f(cons(nil(),y)),z)) -> copy(n(),y,z)
   copy(0(),y,z) -> f(z)
   copy(s(x),y,z) -> copy(x,y,cons(f(y),z))
  KBO Processor:
   argument filtering:
    pi(nil) = []
    pi(cons) = 1
    pi(f) = 0
    pi(n) = []
    pi(copy) = 2
    pi(0) = []
    pi(s) = [0]
    pi(f#) = []
    pi(copy#) = 0
   weight function:
    w0 = 1
    w(copy#) = w(f#) = w(s) = w(0) = w(copy) = w(n) = w(f) = w(cons) = w(nil) = 1
   precedence:
    0 > f# > copy# ~ s ~ copy ~ n ~ f ~ cons ~ nil
   problem:
    DPs:
     
    TRS:
     f(cons(nil(),y)) -> y
     f(cons(f(cons(nil(),y)),z)) -> copy(n(),y,z)
     copy(0(),y,z) -> f(z)
     copy(s(x),y,z) -> copy(x,y,cons(f(y),z))
   Qed