Checagem de declarações da analise semantica funcionando.