General Branch and Bound, and its relation to A∗ and AO∗