Input TRS:
    1: app(app(apply(),f),x) -> app(f,x)
Number of Rules: 1
Direct QWPOS(max) ... orients all.
	I(app) = max(x1, x2 + 1)	sigma(app) = [2,1]
	I(apply) = 0
    PREC: app = apply
Number of Rules: 0