Ao rever protocolos, começo por procurar testes invariantes e documentação como primeiro passo. É a forma mais rápida de entender quais propriedades são importantes e como o protocolo funciona. Se não encontrar invariantes documentados, sei que devo proceder com cautela.