Input TRS:
    1: top(old(x)) -> top(check(x))
    2: top(new(x)) -> top(check(x))
   e1: bot() ->= new(bot())	[relative]
   e2: check(new(x)) ->= new(check(x))	[relative]
   e3: check(old(x)) ->= old(check(x))	[relative]
   e4: check(old(x)) ->= old(x)	[relative]
Number of Rules: 2
Direct Mat3b ... removes: 1 e3 e4
	I(new) = [1,0,1;0,0,1;1,1,0] * x1
	I(top) = [1,0,1;1,1,1;1,1,0] * x1
	I(bot) = [0;0;0]
	I(check) = [1,0,1;0,0,1;1,1,0] * x1
	I(old) = [2,0,1;0,1,1;1,1,1] * x1 + [2;1;3]
Number of Rules: 1
Direct Mat3b ... failed.