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