public void SetFinalizedCheckpoint(Checkpoint checkpoint) => FinalizedCheckpoint = checkpoint;
public void SetPreviousJustifiedCheckpoint(Checkpoint checkpoint) => PreviousJustifiedCheckpoint = checkpoint;
public void SetCurrentJustifiedCheckpoint(Checkpoint checkpoint) => CurrentJustifiedCheckpoint = checkpoint;