YES

2 decompositions
 #1 -----------
   1: from(x1) -> :(x1,from(s(x1)))

 #2 -----------
   2: sel(0(),:(x2,x3)) -> x2
   3: sel(s(x1),:(x2,x3)) -> sel(x1,x3)

@Development Closedness
--- R
   1: from(x1) -> :(x1,from(s(x1)))

--- S
   1: from(x1) -> :(x1,from(s(x1)))


@Jouannaud and Kirchner's criterion
--- R
   2: sel(0(),:(x2,x3)) -> x2
   3: sel(s(x1),:(x2,x3)) -> sel(x1,x3)

--- S
   2: sel(0(),:(x2,x3)) -> x2
   3: sel(s(x1),:(x2,x3)) -> sel(x1,x3)