Input TRS:
    1: f(g(x),y,z) -> f(x,y,g(z))
   e1: f(x,y,g(z)) ->= f(x,g(y),z)	[relative]
   e2: f(x,a(),z) ->= f(x,g(a()),z)	[relative]
   e3: f(x,y,z) ->= f(x,y,g(z))	[relative]
Number of Rules: 1
Direct Mat3b ... removes: 1
	I(a) = [1;1;1]
	I(f) = [1,0,1;0,1,0;0,1,1] * x1 + [1,0,0;0,0,0;0,0,0] * x2 + [1,0,0;0,0,0;0,0,0] * x3
	I(g) = [1,0,0;0,1,0;1,1,1] * x1 + [0;1;1]
Number of Rules: 0