Speed up a-B pruning