Não haveria prejuízo para o sentido original nem para a correção gramatical do texto caso se inserisse quando ou se for imediatamente antes de “executada” (l.17).