CRCRD5504W
Você já escolheu analisar um módulo formal específico. Portanto, esta opção não pode ser selecionada.

Explicação

O módulo específico já foi escolhido.

Resposta do Usuário

Tente analisar outro módulo.