2.1.1: Fernando & Carisa - Validação semântica de declaracao de variaveis com testes feitos