Graph- versus Vector-Based Analysis of a Consensus Protocol