YES

---- CR(R)
---- [Hirokawa and Middeldorp, 2013]
R:
+(x,0()) -> x
+(x,s(y)) -> s(+(x,y))
+(x,p(y)) -> p(+(x,y))
+(0(),y) -> y
+(s(x),y) -> s(+(x,y))
+(p(x),y) -> p(+(x,y))
s(p(x)) -> x
p(s(x)) -> x
+(x,y) -> +(y,x)
non-closed-CPS(R):
+(p(___y7602),s(___y7601)) -> s(+(p(___y7602),___y7601))
+(p(___y7602),s(___y7601)) -> p(+(___y7602,s(___y7601)))
+(s(___y7630),p(___y7629)) -> p(+(s(___y7630),___y7629))
+(s(___y7630),p(___y7629)) -> s(+(___y7630,p(___y7629)))
+(s(___y7676),p(___y7679)) -> s(+(___y7676,p(___y7679)))
+(s(___y7676),p(___y7679)) -> p(+(s(___y7676),___y7679))
+(p(___y7704),s(___y7707)) -> p(+(___y7704,s(___y7707)))
+(p(___y7704),s(___y7707)) -> s(+(p(___y7704),___y7707))
+(___y7484,s(p(___y7483))) -> +(___y7484,___y7483)
+(___y7484,s(p(___y7483))) -> s(+(___y7484,p(___y7483)))
+(s(p(___y7491)),___y7493) -> +(___y7491,___y7493)
+(s(p(___y7491)),___y7493) -> s(+(p(___y7491),___y7493))
+(___y7510,p(s(___y7509))) -> +(___y7510,___y7509)
+(___y7510,p(s(___y7509))) -> p(+(___y7510,s(___y7509)))
+(p(s(___y7517)),___y7519) -> +(___y7517,___y7519)
+(p(s(___y7517)),___y7519) -> p(+(s(___y7517),___y7519))