NO

Problem:
 from(x) -> :(x,from(s(x)))
 sel(0(),:(y,z)) -> y
 sel(s(x),:(y,z)) -> sel(x,z)

Proof:
 Containment Processor: loop length: 1
                        terms:
                         from(x)
                        context: :(x,[])
                        substitution:
                         x -> s(x)
  Qed