code: public void performPruning(double UB) throws ContradictionException {
  		double delta = UB - treeCost;
  		assert delta >= 0;
  		fromInterest = 0;
  		if (selectAndCompress(delta)) {
  			lca.preprocess(cctRoot, ccTree);
  			pruning(fromInterest, delta);
  		}
  	}
docs: ***********************************************************************************