Mmmm....
Provo a riscrivere il codice :
codice:public static boolean verifica(AlberoBinario a){ if(a==null) return false; if(a.sinistro()==null && a.destro()==null){ if(a.val()>=0) return true; } else{ boolean b = verifica(a.destro()); if(!b) return verifica(a.sinistro()); } return false; }