[Consistency Predicates] Refactor: Updated the code of the BPlusTree