Input TRS:
    1: a(a(y,0()),0()) -> y
    2: c(c(y)) -> y
    3: c(a(c(c(y)),x)) -> a(c(c(c(a(x,0())))),y)
Number of Rules: 3
Direct POLO(Sum) ... removes: 2
	I(0) = 0
	I(a) = x1 + x2
	I(c) = x1 + 1
Number of Rules: 2
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.