Estimados,
Quisiéramos realizar una aclaración con respecto al algoritmo esperado para filtrado. En dicho algoritmo se debe operar sobre los nodos en posorden. En el caso que el nodo que estén evaluando no cumple con la condición se pide hacer lo mismo que al eliminar un nodo: si uno de los subárboles es vacío el resultado es el otro subárbol o árbol vacío si ambos subárboles son vacíos. La especificación (dejar en la raíz el mayor del subárbol izquierdo) en ambas funciones es solo para cuando ambos subárboles son no vacíos y la motivación es desambiguar entre dos soluciones posibles: dejar en la raíz el mayor del subárbol izquierdo o el menor del subárbol derecho.
Saludos,
Néstor