YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
h(a(),b()) -> a()
f(c()) -> f(c())
c() -> h(a(),h(b(),b()))
CP(R):
f(h(a(),h(b(),b()))) -> f(c())