Input TRS:
    1: g(0(),f(x,x)) -> x
    2: g(x,s(y)) -> g(f(x,y),0())
    3: g(s(x),y) -> g(f(x,y),0())
    4: g(f(x,y),0()) -> f(g(x,0()),g(y,0()))
Number of Rules: 4
Direct QWPOS(mSum) ... orients all.
	I(0) = 0
	I(f) = x1 + x2 + 1	sigma(f) = [1,2]
	I(g) = x1 + x2	sigma(g) = [1,2]
	I(s) = x1 + 2	sigma(s) = [1]
    PREC: 0 = s > f = g
Number of Rules: 0