YES
(VAR x)
(RULES
p(x) -> x
s(x) -> x
+(x,0()) -> x
)