Corrected another bug in branch and bound: returning infeasible was not releasing the branched variable.