YES

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

 #2 -----------
   2: sel(0(),:(x2,x3)) -> x2
   3: sel(s(x4),:(x5,x6)) -> sel(x4,x6)

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

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


@Knuth and Bendix' criterion
--- R
   2: sel(0(),:(x2,x3)) -> x2
   3: sel(s(x4),:(x5,x6)) -> sel(x4,x6)

--- S
   2: sel(0(),:(x2,x3)) -> x2
   3: sel(s(x4),:(x5,x6)) -> sel(x4,x6)