Correção das labels de desvio de fluxo e repetição e parte do suporte a variáveis globais