Saludos, Gonzalo
Hola. La referencia al nodo actual la tomás del stack (párametro de la función), una vez que la tenés operas para obtener un desplazamiento (respecto a ES), y por último, usas este desplazamiento junto con ES para dar la dirección segmentada y acceder a la estructura (árbol).