Input TRS:
    1: f(g(x,y),f(y,y)) -> f(g(y,x),y)
Number of Rules: 1
Direct POLO(mSum) ... orients all.
	I(f) = x1 + x2 + 1
	I(g) = x1 + x2
Number of Rules: 0