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 QWPOS(Pol) ... orients all.
	I(.) = 3 * x1 + x2 + 1	sigma(.) = [1,2]
	I(nil) = 1
	I(++) = x1 + x2	sigma(++) = [2,1]
	I(make) = 3 * x1 + 3	sigma(make) = [1]
	I(rev) = 2 * x1	sigma(rev) = [1]
    PREC: rev > ++ = make > . = nil
Number of Rules: 0