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