Hola.
Si, se pueden cambiar los nombres.
Está bien que un addAVL_i construya árboles de altua n+1 y las las otras generen árboles de altura n+2 (cuando los subárboles tienen diferencia de altura 1).
La alternativa mencionada tiene el problema referido sobre nat.
Saludos, Carlos