Ao revisar protocolos, começo procurando testes e documentação invariantes como o primeiro passo. É a maneira mais rápida de entender quais propriedades são importantes e como o protocolo funciona. Se eu não encontrar nenhuma invariante documentada, sei que devo proceder com cautela.