(VAR y x)
(RULES
   min(0,y) -> 0
   min(x,0) -> 0
   min(s(x),s(y)) -> min(x,y)
   min(x,x) -> x
)
(COMMENT from a collection of Aoto/Toyama/Kimura, FSCD 2017)