1.59/0.89	YES
1.59/0.89	
1.59/0.89	Proof:
1.59/0.89	This system is confluent.
1.59/0.89	By \cite{SMI95}, Corollary 4.7 or 5.3.
1.59/0.89	This system is oriented.
1.59/0.89	This system is of type 3 or smaller.
1.59/0.89	This system is right-stable.
1.59/0.89	This system is properly oriented.
1.59/0.89	This is an overlay system.
1.59/0.89	This system is left-linear.
1.59/0.89	All 2 critical pairs are trivial or infeasible.
1.59/0.89	Overlap: (rule1: pos(s(y)) -> true <= pos(y) = true, rule2: pos(s(0)) -> true, pos: ε, mgu: {(y,0)})
1.59/0.89	CP: true = true <= pos(0) = true
1.59/0.89	This critical pair is trivial.
1.59/0.89	Overlap: (rule1: pos(s(0)) -> true, rule2: pos(s(y)) -> true <= pos(y) = true, pos: ε, mgu: {(y,0)})
1.59/0.89	CP: true = true <= pos(0) = true
1.59/0.89	This critical pair is trivial.
1.59/0.89	
3.13/1.54	EOF