MAYBE
MAYBE
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))
 }
 DUP: We consider a duplicating system.
  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))
   }
  Fail