Specifically _addUncommitedRecordId_inlock has a commented-out invariant and _dealtWithCappedId has an invariant that checks the address of a RecordId in a std::list which doesn't make much sense. Instead check that the RecordId is normal.