Version Final
se corrigen problemas de la liberación del semáforo cuando es o no capturado, y la  destruccion de éstos cuando ya han sido usados.