Input TRS:
    1: p(0(),y) -> y
    2: p(s(x),y) -> s(p(x,y))
   e1: p(x,y) ->= p(x,s(y))	[relative]
Weak rule e1 calls a strict rule