Corrected a bug in branch-and-bound (branching variables were not being reset).