YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
f(0(),0()) -> f(0(),1())
f(1(),0()) -> f(0(),0())
f(x,y) -> f(y,x)
CP(R):
f(0(),1()) -> f(0(),0())
f(0(),0()) -> f(0(),1())
f(0(),0()) -> f(0(),1())
f(0(),1()) -> f(0(),0())