$  quint verify --init=Init --step=Next ../examples/classic/distributed/Paxos/Paxos.qnt 
error: Assignment error: No assignments found for: Paxos::V::votes, Paxos::V::maxBal

@bugarela noted:

this spec has something that is unsupported (in theory, and we don't really do anything about it): The Voting module, which is instanced, has state variables!

I'm not totally clear on what the fix is here: rework the spec, or add support, but this issue is to track the needed work.