fix bugs: swap delete best_cand and add_neighbous_to_pq; test whether key in set; rule rank in cube pruning