YES

---- CR(R)
---- R : left-linear, C : CR and CP-closing, and Cdup/R : SN
R:
from(x) -> :(x,from(s(x)))
sel(0(),:(y,z)) -> y
sel(s(x),:(y,z)) -> sel(x,z)

CP(R):


critical-pair-closing system C:
sel(s(x),:(y,z)) -> sel(x,z)

CR(C): see below.

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
sel(s(x),:(y,z)) -> sel(x,z)
CP(R):