Input TRS:
    1: f(X) -> if(X,c(),f(true()))
    2: if(true(),X,Y) -> X
    3: if(false(),X,Y) -> Y
Number of Rules: 3
Direct POLO(Sum) ... removes: 3
	I(if) = x1 + x2 + x3
	I(c) = 0
	I(f) = x1
	I(true) = 0
	I(false) = 1
Number of Rules: 2
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.