Ho provato a buttar giù del codice... è giusto ?
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());
}
}