checks the integrity of the tree: 1) parent pointers. 2) sibling pointers. 3) range invariants. 4) record to page pointers. 5) occupancy invariants. (if enabled)
(BTreeFile bt, TransactionId tid, HashMap<PageId, Page> dirtypages,
boolean checkOccupancy)
source not stored for this graph (policy: none)