La función generaAux genera un árbol poniendo números en sus nodos y retorna un par con el árbol y número que en realidad nunca se llega a calcular.
Como la recursión nunca termina, nunca podemos obtener el segundo componente del resultado y además nunca entramos en la llamada recursiva del lado derecho del árbol y cada subárbol.
Lo que sí podemos ver es que se pueden hacer infinitas recursiones a la izquierda, que van generando un árbol:
(Nodo (Nodo (Nodo (Nodo (...) 3 r'') 2 r'') 1 r') 0 r)
O sea que siempre que vayamos recorriendo ese árbol hacia la izquierda, algo vamos a obtener.