loop invariant, invariante do loop Ver iterative statement (instrução iterativa). VAR ar solicitação de cliente Restauração do sistema .. ../..