Input TRS:
    1: f(a()) -> f(a())
    2: a() -> b()
Number of Rules: 2
Direct POLO(Sum) ... removes: 2
	I(a) = 1
	I(b) = 0
	I(f) = x1
Number of Rules: 1
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.