Osserva il metodo 'presente', a parte il primo test di a==null con return false (che è giusto), deve restituire true quando: il valore lo trovi in quel nodo oppure lo trovi sotto il nodo a destra oppure lo trovi sotto il nodo a sinistra.
Nota gli "oppure" che ho scritto. Traducili in codice.