Aggiunti controlli su rami vuoti e presenza nodo finale