Inserta bien.
En el caso base, cuando el árbol es vacío el resultado es la lista vacía.
Para el caso genérico asumamos que en menoresI quedaron ordenados de mayor a menor los elementos del subárbol izquierdo, que por la propiedad de orden del árbol son menores que t->dato.
lRaiz es una lista que se obtiene de insertar t->dato al inicio de menoresI, por lo que también queda ordenada de mayor a menor.
Otra vez asumamos que con la segunda llamada recursiva a menores quedan en result los elementos del subárbol derecho ordenados de mayor a menor. También por la propiedad de orden cada elemento de result es mayor que los de lRaiz.
lRaiz es una lista que se obtiene de insertar t->dato al inicio de menoresI, por lo que también queda ordenada de mayor a menor.
Otra vez asumamos que con la segunda llamada recursiva a menores quedan en result los elementos del subárbol derecho ordenados de mayor a menor. También por la propiedad de orden cada elemento de result es mayor que los de lRaiz.
Finalmente con concat lRaiz queda anexada al final de result, que por lo tanto queda ordenada de mayor a menor.