Em uma estrutura de repetição com variàvel de controle, ou estrutura para, a verificação de controle é realizad antes da execução do corpo da sentença, o que impede a reescrita desse tipo de estrutura por meio de estrutura de repetição póstetada?