Input TRS:
    1: rev(nil()) -> nil()
    2: rev(rev(x)) -> x
    3: rev(++(x,y)) -> ++(rev(y),rev(x))
    4: ++(nil(),y) -> y
    5: ++(x,nil()) -> x
    6: ++(.(x,y),z) -> .(x,++(y,z))
    7: ++(x,++(y,z)) -> ++(++(x,y),z)
    8: make(x) -> .(x,nil())
Number of Rules: 8
Direct QLPOS ... orients all.
	sigma(.) = [2,1]
	sigma(++) = [2,1]
	sigma(make) = [1]
	sigma(rev) = [1]
    PREC: rev > nil = ++ = make > .
Number of Rules: 0