Implemented BoundAndBranch
Implemented BoundAndBranch