Quindi il fatto che il metodo venga richiamato è sicuro dato che sono io a richiamarlo esplicitamente.
Sicuro?
codice:
   Albero albero;
   // codice vario di cui una funzione di libreria lancia un'eccezione.
   albero.distruggiAlbero();
distruggiAlbero() non sarà mai invocata.

Edit.
Orrori di ortografia.