Change when vbcoef is used

Author: Opt-Mucca

highs/mip/HighsCutGeneration.cpp

@@ -632,7 +632,7 @@ bool HighsCutGeneration::separateLiftedFlowCover() {
     }
     assert(i == ld.r && ld.M[i] <= vubcoef + snfr.lambda + 1e-8);
     return static_cast<double>(ld.r * HighsCDouble(snfr.lambda) + vubcoef -
-                               ld.M[i]);
+                               ld.M[ld.r]);
   };
 
   // Calculate the lifted simple generalized flow cover cut

highs/mip/HighsTransformedLp.cpp

@@ -753,8 +753,7 @@ bool HighsTransformedLp::transformSNFRelaxation(
                              snfr.origBinColCoef[bestVlb[col].first], lb, ub,
                              false)) {
           boundTypes[col] = BoundType::kSimpleLb;
-        } else if (vals[i] > 0 ||
-                   simpleLbDist[col] > lbDist[col] + mip.mipdata_->feastol) {
+        } else if (simpleLbDist[col] > lbDist[col] + mip.mipdata_->feastol) {
           boundTypes[col] = BoundType::kVariableLb;
           snfr.binColUsed[bestVlb[col].first] = true;
         } else
@@ -764,8 +763,7 @@ bool HighsTransformedLp::transformSNFRelaxation(
                              snfr.origBinColCoef[bestVub[col].first], lb, ub,
                              true)) {
           boundTypes[col] = BoundType::kSimpleUb;
-        } else if (vals[i] < 0 ||
-                   simpleUbDist[col] > ubDist[col] + mip.mipdata_->feastol) {
+        } else if (simpleUbDist[col] > ubDist[col] + mip.mipdata_->feastol) {
           boundTypes[col] = BoundType::kVariableUb;
           snfr.binColUsed[bestVub[col].first] = true;
         } else {