[Jepsen] Precondition failure: 'highestPrepareSeqno == s->highPreparedSeqno.it->getBySeqno()'

PassiveDurabilityMonitor::PassiveDurabilityMonitor(

        VBucket& vb,

        int64_t highPreparedSeqno,

        int64_t highCompletedSeqno,

        std::vector<queued_item>&& outstandingPrepares)

    : PassiveDurabilityMonitor(vb, highPreparedSeqno, highCompletedSeqno) {

    auto s = state.wlock();

    int64_t highestPrepareSeqno = -1;

    for (auto& prepare : outstandingPrepares) {

        Expects(highestPrepareSeqno < prepare->getBySeqno());

        highestPrepareSeqno = prepare->getBySeqno();

        s->trackedWrites.emplace_back(std::move(prepare));

        // Advance the highPreparedSeqno iterator to point to the highest

        // SyncWrite which has been prepared.

        auto lastIt = std::prev(s->trackedWrites.end());

        if (lastIt->getBySeqno() <= highPreparedSeqno) {

            s->highPreparedSeqno.it = lastIt;

        }

        // Advance the highCompletedSeqno iterator to point to the highest

        // SyncWrite which has been completed.

        //

        // Note: One might assume that this would always point to

        // trackedWrites.begin(), given that we are a newly minted PassiveDM and

        // hence would only be tracking incomplete SyncWrites. However, we

        // _could_ have been converted from an ActiveDM with null topology which

        // itself was converted from a previous PassiveDM which _did_ have

        // completed SyncWrites still in trackedWrites (because they haven't

        // been persisted locally yet).

        if (lastIt->getBySeqno() <= highCompletedSeqno) {

            s->highCompletedSeqno.it = lastIt;

        }

    }

    if (!outstandingPrepares.empty()) {

        if (s->highPreparedSeqno.it != s->trackedWrites.end()) {

            Expects(highestPrepareSeqno ==

                    s->highPreparedSeqno.it->getBySeqno()); // <---  FAILING LINE

        }

        if (s->highCompletedSeqno.it != s->trackedWrites.end()) {

            Expects(highestPrepareSeqno >

                    s->highCompletedSeqno.it->getBySeqno());

        }

    }

}