quel caso è coperto dall'else nell'else. ovvero, l'if grande ha un else. dentro a quell'else, c'è un altro if seguito da ELSE. quindi i return sono giusti, altrimenti avrei avuto dei warning in compilazione.

cmq farò una prova ma dubito cambi qualcosa.