Quando esamino i protocolli, inizio cercando test invarianti e documentazione come primo passo. È il modo più veloce per capire quali proprietà sono importanti e come funziona il protocollo. Se non trovo invarianti documentati, so di procedere con cautela.