Foro de Preguntas de Exámenes

Buenas , en la solución de este ejercicio , se plantea un procedimiento auxiliar que "linealiza" un ABB. como se lee en los comentarios :

(* Dado un arbol binario de busqueda abb ordenado en forma creciente
agrega al comienzo de lres todos los elementos de abb en forma creciente *)

PROCEDURE LinealizarABB(abb : CardAB; VAR lres : CardLista);
VAR
nodo : CardLista;
BEGIN
IF (abb <> NIL) THEN
LinealizarABB(abb^.der, lres);
NEW(nodo);
nodo^.elem := abb^.elem;
nodo^.sig := lres;
lres := nodo;
LinealizarABB(abb^.izq, lres);
END;
END LinealizarABB;

Mi pregunta es , si se pretende una lista ordenada en forma creciente , no se supone que primero se llame a la recursividad con el subárbol izquierdo , en lugar del derecho ?

Gracias .