Input TRS:
    1: T(I(x),y) -> T(x,y)
   e1: T(x,y) ->= T(x,I(y))	[relative]
Number of Rules: 1
Direct Mat3b ... removes: 1
	I(T) = [1,0,1;0,1,1;0,0,1] * x1 + [1,0,0;0,0,0;0,0,0] * x2
	I(I) = [1,0,0;1,0,1;1,1,1] * x1 + [0;3;1]
Number of Rules: 0