Input TRS:
    1: app(app(app(compose(),f),g),x) -> app(f,app(g,x))
Number of Rules: 1
Direct QLPOS ... orients all.
	sigma(app) = [1,2]
    PREC: app = compose
Number of Rules: 0