O Administrador de Dados de uma loja virtual verifica que há um problema no sistema controlador do estoque. Alguns produtos apresentam quantidades negativas, ou seja, houve mais vendas que a quantidade existente no estoque. O programador do sistema mostra, em pseudocódigo, o trecho que realiza a verificação do estoque. Qual opção descreve corretamente o problema e sua solução?