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 POLO(Sum) ... removes: 1 2
	I(a) = x1 + 3
	I(s) = x1
	I(b) = x1 + 2
	I(f) = x1 + x2
Number of Rules: 0