2.1.1: Aline & Leonardo - Verificação de variáveis no gerenciador semântico