Branch and bound: fix the problem that breath first didn't start similarly to BFD (because it needs to compare depth, then score, then optimisticBound) + add SCORE_FIRST exploration type