if( idx > 0 ) { previousLeaf = getChild(tx, idx-1).getRightLeaf(tx); } else { previousLeaf = lp.getRightLeaf(tx);
if( idx > 0 ) { previousLeaf = getChild(tx, idx-1).getRightLeaf(tx); } else { previousLeaf = lp.getRightLeaf(tx);
if( idx > 0 ) { previousLeaf = getChild(tx, idx-1).getRightLeaf(tx); } else { previousLeaf = lp.getRightLeaf(tx);
if( idx > 0 ) { previousLeaf = getChild(tx, idx-1).getRightLeaf(tx); } else { previousLeaf = lp.getRightLeaf(tx);