find_newer_committed_node
while (j < k && find_newer_committed_node(ic, §ion_node[j])) {
while (j < k && find_newer_committed_node(ic, §ion_node[k - 1])) {