Começo da análise semântica (verif. var. dupl.)