Input TRS:
    1: app(id(),x) -> x
    2: app(plus(),0()) -> id()
    3: app(app(plus(),app(s(),x)),y) -> app(s(),app(app(plus(),x),y))
Number of Rules: 3
Direct POLO(Sum) ... removes: 2 1
	I(id) = 0
	I(0) = 0
	I(plus) = 0
	I(s) = 0
	I(app) = x1 + x2 + 1
Number of Rules: 1
Direct POLO(Sum) ...Direct QLPOS ... removes: 3
	sigma(app) = [1,2]
    PREC: s > plus > app
Number of Rules: 0