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?