Julga inconstitucional a norma do artigo 4º, nº 1, alínea c), do Decreto-Lei nº 138/85, de 3 de Maio, enquanto determina que a extinção da CNN-Companhia Nacional de Navegação, E.P., implica a extinção dos contratos de trabalho em que a empresa seja parte, por caducidade.