Line 13 & 14 in spec.

Start pre commit:

• Check if round is completable
• Start a timer for Time >= t + 4 * T
• End sub stage if completable and timer passes.

Wait for votes:

• Receive pre votes.
• On each pre vote update GHOST and some other updates try an end the sub round.

End prevote:

• If GHOST has a value do line 14.
• Start next stage.