Implementação correta do UNTIL