Input TRS:
    1: f(s(x),y) -> f(-(s(x),y),y)
   e1: +(0(),y) ->= y	[relative]
   e2: +(s(x),y) ->= s(+(x,y))	[relative]
   e3: -(x,0()) ->= x	[relative]
   e4: -(0(),y) ->= 0()	[relative]
   e5: -(s(x),s(y)) ->= -(x,y)	[relative]
   e6: f(x,y) ->= f(x,+(x,y))	[relative]
Weak rule e6 is duplicating