Input TRS:
    1: f(f(a())) -> c()
Number of Rules: 1
Direct QWPOS(max) ... orients all.
	I(a) = 1
	I(c) = 0
	I(f) = x1	sigma(f) = [1]
    PREC: a > c > f
Number of Rules: 0