Tu parti dalla radice che ha altezza 0 e quando chiami la ricorsione crei nuovi oggetti Albero, ai quali assegni altezza 1 in un attributo. Da quelli partono altre ricorsioni che creano altri Alberi che avranno altezza 2, i cui figli avranno 3 ecc. Così non serve una variabile globale, basta usare un parametro che passi alla funzione, per esempio inizi con h=0, e quando chiami la ricorsione la chiami con h+1