Dovrei verificarlo meglio. Ma ... stesso problema dell'altra discussione. I return !!
verifica(a.destro(), b) || verifica(a.sinistro(), b)
è una espressione che messa da sola lì serve a poco. Sono due boolean messi in OR "logico". Il risultato è un boolean. Questo boolean lo DEVI usare (nei tuoi metodi sopra, cioè da restituire)