BranchAndBound: preliminary testing & bug fixing