pruning if LB = UB