Input TRS:
    1: T(I(x),y) -> T(x,y)
   e1: T(x,y) ->= T(x,I(y))	[relative]
Dependency Pairs:
   #1: # T(x,y) -> # T(x,I(y))	[relative]
   #2: # T(I(x),y) -> # T(x,y)
Number of SCCs: 1
  SCC { #1 #2 }
    POLO(Sum)... removes: #2
	I(# T) = max(x1 + 1, 0)
	I(I) = max(x1 + 1, 0)
    USABLE RULES: { }
Number of SCCs: 1
  SCC { #1 }
    POLO(Sum)... QLPOS... QWPOpS(mSum)... Mat2b... failed.