currNode2 = (Node)locator.open(next2, "r");
next2 = currNode2.getLeftChild(__transactionContext__);
}while(next2!=null);
if(prevNode2!=null){ // disconnect replacement node from its parent
Node prevNode2w = (Node)locator.open(prevNode2.getId()); //open previous node for write
prevNode2w.setLeftChild(currNode2.getRightChild(__transactionContext__), __transactionContext__);
}
Node currNode2w = (Node)locator.open(replacement); //replace
currNode2w.setLeftChild(node.getLeftChild(__transactionContext__), __transactionContext__);
if(!replacement.equals(node.getRightChild(__transactionContext__)))