Verificação de propriedades em classes e estruturas de dados padrão
