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