EQUATIONS: 
p(s(x)) = x
eq(x,x) = true_()
eq(s(x),x) = false_()
eq(x,s(x)) = false_()
eq(s(x),s(y)) = eq(x,y)
eq(x,p(x)) = false_()
eq(p(x),x) = false_()
eq(p(x),p(y)) = eq(x,y)

COMPLETE TRS:
RULES:
p(s(x)) -> x
eq(x,x) -> true_()
eq(x,p(x)) -> false_()
eq(p(x),x) -> false_()
eq(p(x),p(y)) -> eq(x,y)
eq(s(x),y) -> eq(x,p(y))
eq(x,s(y)) -> eq(p(x),y)

SUCCESS
MaxTRS: 2 
Search time: 0.02 seconds