Correção de bug de variáveis globais. Análise semântica completa