Considere o algoritmo a seguir:

Algoritmo A001
var valor: inteiro
var status: literal
início
    status ← “sim”;
    enquanto(status= “sim”) faça
       imprima(“Digite um valor inteiro:”)
       leia(valor)
       se (valor<5)
          então imprima (“Situação 1”)
          senão
             se (valor<10)
                então imprima (“Situação 2”)
                 senão
                   imprima (“Situação 3”)
                   status ← “não”
             fim_se
        fim_se
        imprima (“Deseja continuar[sim/não]?”)
        leia(status)
    fim_enquanto
fim

Sobre o algoritmo acima, é correto afirmar: