fn write_counts(&self, write_l1_batch_number: L1BatchNumber) -> bool {
        if self.consider_new_l1_batch {
            self.l1_batch_number_for_l2_block >= write_l1_batch_number
        } else {
            self.l1_batch_number_for_l2_block > write_l1_batch_number
        }
    }
This method is expected to be called for each write that was found in the database, and it decides
whether the change is initial or not. Even if a change is present in the DB, in some cases we would not consider it.
For example, in API we always represent the state at the beginning of an L1 batch, so we discard all the writes
that happened at the same batch or later (for historical `eth_call` requests).
core/lib/state/src/postgres/mod.rs