Input TRS:
    1: T(I(x),y) -> T(x,y)
   e1: T(x,y) ->= T(x,I(y))	[relative]
Weak rule e1 calls a strict rule