YES

---- CR(R)
---- Development Closedness Theorem [van Oostrom, TCS 1994].
R:
g(a(),y) -> y
f(x,a()) -> f(x,g(x,b()))
g(h(x),y) -> g(x,h(y))

CP(R):