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 POLO(mPol) ... orients all.
	I(merge) = 2 * x1 + 3 * x2 + 2
	I(nil) = 0
	I(++) = 3 * x1 + x2 + 3
	I(u) = 3
	I(v) = 2
Number of Rules: 0