public boolean hasRedoCheckpoints() {
		return redoCheckpointHeads.size() != 0;
	}
Indicates whether checkpoint versions are available for redo.
@return true if redo is available
Ghidra/Framework/DB/src/main/java/db/buffers/BufferMgr.java