private void update_tree(List<Transaction> tidList) {
for(Transaction t: tidList){
if(ctable.isTransactionReadyForRemoval(t)){
FPTree tree = TIDMapping.getTreeForTransaction(t);
if(tree != null){
tree.progressivelyShrinkToRootFromMe();
}
myDBRef.removeTransaction(t);
}
}
}