Se sube el algoritmo de eliminacion de dependencias redundantes.

Se modifica el algoritmo de cierre para la corrección de un error
detectado en las pruebas.