if the node indexed by
ptr
has a right successor and it is less than
ptr's
left successor
if (succ < last)
if (data[succ + 1].key < data[succ].key)