Senza provarlo sembra che funzioni (cioè non si perdono valori)

se il min. non è stato trovato nel sotto albero sinistro o in quello destro la funzione ricorsiva ritorna come valore min quello che gli era stato passato come parametro altrimenti gli ritorna quello modificato
penso che sia importante solo inizializzare min alla prima chiamata della funzione minimo (..,..)con il valore della radice dell'albero