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