Input TRS:
    1: f(f(X)) -> c()
    2: c() -> d()
    3: h(X) -> c()
Number of Rules: 3
Direct QKBOS(Sum) ... orients all.
	I(c) = 2
	I(d) = 1
	I(f) = x1 + 1	sigma(f) = [1]
	I(h) = x1 + 2	sigma(h) = [1]
    PREC: f = h > c > d
Number of Rules: 0