Input TRS:
    1: s(a(x)) -> s(b(x))
    2: b(b(x)) -> a(x)
   e1: f(s(x),y) ->= f(x,s(y))	[relative]
   e2: s(a(x)) ->= a(s(x))	[relative]
   e3: s(b(x)) ->= b(s(x))	[relative]
   e4: a(s(x)) ->= s(a(x))	[relative]
   e5: b(s(x)) ->= s(b(x))	[relative]
Number of Rules: 2
Direct Mat2b ... removes: 1 2 e1
	I(a) = [1,0;1,0] * x1 + [3;1]
	I(s) = x1 + [1;1]
	I(b) = [1,0;1,0] * x1 + [2;1]
	I(f) = [2,1;1,1] * x1 + [2,0;1,0] * x2
Number of Rules: 0