Input TRS:
    1: merge(x,nil()) -> x
    2: merge(nil(),y) -> y
    3: merge(++(x,y),++(u(),v())) -> ++(x,merge(y,++(u(),v())))
    4: merge(++(x,y),++(u(),v())) -> ++(u(),merge(++(x,y),v()))
Number of Rules: 4
Direct QTKBOS ... orients all.
	I(merge) = 3 * x1 + 3 * x2 + 3	sigma(merge) = [1,2]
	I(nil) = 3
	I(++) = 3 * x1 + x2 + 3	sigma(++) = [1,2]
	I(u) = 2
	I(v) = 2
    PREC: u > merge = v > nil = ++
Number of Rules: 0