let cons_closed_1 = function
 z, w -> if w >= 0
          then cons_closed (z, z + w)
          else failwith ("cons_closed_1 : the second argument must be >= 0")