Mi serve comunque impostare la variabile a true perché globale, ma se metto return dopo il verify non esce dal metodo se non dopo che ha eseguito tutti i nodi non ancora esaminati.