Problem:
 min(0(),y) -> 0()
 min(x,0()) -> 0()
 min(s(x),s(y)) -> min(x,y)
 min(x,x) -> x

Proof:
 Nonconfluence Processor:
  terms: x97 *<- min(s(x97),s(x97)) ->* s(x97)
  Qed