; LLVM IR from ERGO-Code/HiGHS :: src/mip (HighsCliqueTable)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"struct.HighsCliqueTable::CliqueVar" = type { i32 }
%"struct.HighsDomain::Reason" = type { i32, i32 }
%"struct.HighsCliqueTable::Substitution" = type { i32, %"struct.HighsCliqueTable::CliqueVar" }
%class.anon.141 = type { ptr }
%class.HighsCliqueTable = type { %"class.std::vector", %"class.std::vector.3", %"class.std::vector.8", %class.HighsHashTable, %"class.std::set", %"class.std::vector.26", %"class.std::vector.31", %"class.std::vector.26", %"class.std::vector", %"class.std::vector.26", %"class.std::vector.36", %"class.std::vector.26", %"class.std::vector.41", %"class.std::vector.46", %"class.std::vector.46", %"class.std::vector.51", %"class.std::vector.26", %class.HighsRandom, i32, i32, i32, i32, i8, i64 }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsHashTable = type { %"class.std::unique_ptr", %"class.std::unique_ptr.15", i64, i64, i64 }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.14" }
%"struct.std::_Head_base.14" = type { ptr }
%"class.std::unique_ptr.15" = type { %"struct.std::__uniq_ptr_data.16" }
%"struct.std::__uniq_ptr_data.16" = type { %"class.std::__uniq_ptr_impl.17" }
%"class.std::__uniq_ptr_impl.17" = type { %"class.std::tuple.18" }
%"class.std::tuple.18" = type { %"struct.std::_Tuple_impl.19" }
%"struct.std::_Tuple_impl.19" = type { %"struct.std::_Head_base.22" }
%"struct.std::_Head_base.22" = type { ptr }
%"class.std::set" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<std::pair<int, int>, std::pair<int, int>, std::_Identity<std::pair<int, int>>, std::less<std::pair<int, int>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::pair<int, int>, std::pair<int, int>, std::_Identity<std::pair<int, int>>, std::less<std::pair<int, int>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.std::vector.31" = type { %"struct.std::_Vector_base.32" }
%"struct.std::_Vector_base.32" = type { %"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.36" = type { %"struct.std::_Vector_base.37" }
%"struct.std::_Vector_base.37" = type { %"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.41" = type { %"struct.std::_Vector_base.42" }
%"struct.std::_Vector_base.42" = type { %"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.46" = type { %"struct.std::_Vector_base.47" }
%"struct.std::_Vector_base.47" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.51" = type { %"struct.std::_Vector_base.52" }
%"struct.std::_Vector_base.52" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.26" = type { %"struct.std::_Vector_base.27" }
%"struct.std::_Vector_base.27" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsRandom = type { i64 }
%"struct.HighsCliqueTable::Clique" = type { i32, i32, i32, i32, i8 }

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #1 align 2

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #2

; Function Attrs: mustprogress uwtable
declare dso_local i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(4)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable12removeCliqueEi(ptr noundef nonnull align 8 dereferenceable(488), i32 noundef) #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4), i32 noundef, i32 noundef) unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK16HighsCliqueTable9CliqueVareqERKS0_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) #1 align 2

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_ZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1, i32 %2, i32 %3) #3 align 2 {
  %5 = alloca i1, align 1
  %6 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %7 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i8, align 1
  %11 = alloca %"struct.HighsDomain::Reason", align 4
  %12 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %13 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %14 = alloca i8, align 1
  %15 = alloca %"struct.HighsDomain::Reason", align 4
  %16 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %17 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %18 = alloca i8, align 1
  %19 = alloca %"struct.HighsDomain::Reason", align 4
  %20 = alloca i32, align 4
  %21 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %22 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %28 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %29 = alloca i8, align 1
  %30 = alloca %"struct.HighsDomain::Reason", align 4
  %31 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %32 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %33 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %34 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %35 = alloca i32, align 4
  %36 = alloca i32, align 4
  %37 = alloca i32, align 4
  %38 = alloca i8, align 1
  %39 = alloca %"struct.HighsDomain::Reason", align 4
  %40 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %41 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %42 = alloca %"struct.HighsCliqueTable::Substitution", align 4
  %43 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %44 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %45 = alloca %class.anon.141, align 8
  %46 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %47 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %48 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %49 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %50 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %6, i32 0, i32 0
  store i32 %2, ptr %50, align 4
  %51 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %7, i32 0, i32 0
  store i32 %3, ptr %51, align 4
  store ptr %0, ptr %8, align 8, !tbaa !5
  store ptr %1, ptr %9, align 8, !tbaa !5
  %52 = load ptr, ptr %8, align 8
  %53 = load i32, ptr %6, align 4
  %54 = and i32 %53, 2147483647
  %55 = load i32, ptr %7, align 4
  %56 = and i32 %55, 2147483647
  %57 = icmp eq i32 %54, %56
  br i1 %57, label %58, label %89

58:                                               ; preds = %4
  %59 = load i32, ptr %6, align 4
  %60 = lshr i32 %59, 31
  %61 = load i32, ptr %7, align 4
  %62 = lshr i32 %61, 31
  %63 = icmp eq i32 %60, %62
  br i1 %63, label %64, label %88

64:                                               ; preds = %58
  call void @llvm.lifetime.start.p0(i64 1, ptr %10) #5
  %65 = load ptr, ptr %9, align 8, !tbaa !5
  %66 = load i32, ptr %6, align 4
  %67 = and i32 %66, 2147483647
  %68 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %65, i32 noundef %67)
  %69 = zext i1 %68 to i8
  store i8 %69, ptr %10, align 1, !tbaa !9
  %70 = load ptr, ptr %9, align 8, !tbaa !5
  %71 = load i32, ptr %6, align 4
  %72 = and i32 %71, 2147483647
  %73 = load i32, ptr %6, align 4
  %74 = lshr i32 %73, 31
  %75 = sub nsw i32 1, %74
  %76 = sitofp i32 %75 to double
  %77 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  store i64 %77, ptr %11, align 4
  %78 = load i64, ptr %11, align 4
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %70, i32 noundef %72, double noundef %76, i64 %78)
  %79 = load i8, ptr %10, align 1, !tbaa !9, !range !11, !noundef !12
  %80 = trunc i8 %79 to i1
  br i1 %80, label %87, label %81

81:                                               ; preds = %64
  %82 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 18
  %83 = load i32, ptr %82, align 8, !tbaa !13
  %84 = add nsw i32 %83, 1
  store i32 %84, ptr %82, align 8, !tbaa !13
  %85 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 8
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %85, ptr noundef nonnull align 4 dereferenceable(4) %6)
  %86 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %52, ptr noundef nonnull align 8 dereferenceable(824) %86)
  br label %87

87:                                               ; preds = %81, %64
  store i1 false, ptr %5, align 1
  call void @llvm.lifetime.end.p0(i64 1, ptr %10) #5
  br label %455

88:                                               ; preds = %58
  store i1 true, ptr %5, align 1
  br label %455

89:                                               ; preds = %4
  %90 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %6)
  %91 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %12, i32 0, i32 0
  store i32 %90, ptr %91, align 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %13, ptr align 4 %7, i64 4, i1 false), !tbaa.struct !75
  %92 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %12, i32 0, i32 0
  %93 = load i32, ptr %92, align 4
  %94 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %13, i32 0, i32 0
  %95 = load i32, ptr %94, align 4
  %96 = call noundef zeroext i1 @_ZN16HighsCliqueTable16haveCommonCliqueENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %52, i32 %93, i32 %95)
  br i1 %96, label %97, label %121

97:                                               ; preds = %89
  call void @llvm.lifetime.start.p0(i64 1, ptr %14) #5
  %98 = load ptr, ptr %9, align 8, !tbaa !5
  %99 = load i32, ptr %7, align 4
  %100 = and i32 %99, 2147483647
  %101 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %98, i32 noundef %100)
  %102 = zext i1 %101 to i8
  store i8 %102, ptr %14, align 1, !tbaa !9
  %103 = load ptr, ptr %9, align 8, !tbaa !5
  %104 = load i32, ptr %7, align 4
  %105 = and i32 %104, 2147483647
  %106 = load i32, ptr %7, align 4
  %107 = lshr i32 %106, 31
  %108 = sub nsw i32 1, %107
  %109 = sitofp i32 %108 to double
  %110 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  store i64 %110, ptr %15, align 4
  %111 = load i64, ptr %15, align 4
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %103, i32 noundef %105, double noundef %109, i64 %111)
  %112 = load i8, ptr %14, align 1, !tbaa !9, !range !11, !noundef !12
  %113 = trunc i8 %112 to i1
  br i1 %113, label %120, label %114

114:                                              ; preds = %97
  %115 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 18
  %116 = load i32, ptr %115, align 8, !tbaa !13
  %117 = add nsw i32 %116, 1
  store i32 %117, ptr %115, align 8, !tbaa !13
  %118 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 8
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %118, ptr noundef nonnull align 4 dereferenceable(4) %7)
  %119 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %52, ptr noundef nonnull align 8 dereferenceable(824) %119)
  br label %120

120:                                              ; preds = %114, %97
  store i1 false, ptr %5, align 1
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #5
  br label %455

121:                                              ; preds = %89
  %122 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %7)
  %123 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %16, i32 0, i32 0
  store i32 %122, ptr %123, align 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %17, ptr align 4 %6, i64 4, i1 false), !tbaa.struct !75
  %124 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %16, i32 0, i32 0
  %125 = load i32, ptr %124, align 4
  %126 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %17, i32 0, i32 0
  %127 = load i32, ptr %126, align 4
  %128 = call noundef zeroext i1 @_ZN16HighsCliqueTable16haveCommonCliqueENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %52, i32 %125, i32 %127)
  br i1 %128, label %129, label %153

129:                                              ; preds = %121
  call void @llvm.lifetime.start.p0(i64 1, ptr %18) #5
  %130 = load ptr, ptr %9, align 8, !tbaa !5
  %131 = load i32, ptr %6, align 4
  %132 = and i32 %131, 2147483647
  %133 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %130, i32 noundef %132)
  %134 = zext i1 %133 to i8
  store i8 %134, ptr %18, align 1, !tbaa !9
  %135 = load ptr, ptr %9, align 8, !tbaa !5
  %136 = load i32, ptr %6, align 4
  %137 = and i32 %136, 2147483647
  %138 = load i32, ptr %6, align 4
  %139 = lshr i32 %138, 31
  %140 = sub nsw i32 1, %139
  %141 = sitofp i32 %140 to double
  %142 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  store i64 %142, ptr %19, align 4
  %143 = load i64, ptr %19, align 4
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %135, i32 noundef %137, double noundef %141, i64 %143)
  %144 = load i8, ptr %18, align 1, !tbaa !9, !range !11, !noundef !12
  %145 = trunc i8 %144 to i1
  br i1 %145, label %152, label %146

146:                                              ; preds = %129
  %147 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 18
  %148 = load i32, ptr %147, align 8, !tbaa !13
  %149 = add nsw i32 %148, 1
  store i32 %149, ptr %147, align 8, !tbaa !13
  %150 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 8
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %150, ptr noundef nonnull align 4 dereferenceable(4) %6)
  %151 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %52, ptr noundef nonnull align 8 dereferenceable(824) %151)
  br label %152

152:                                              ; preds = %146, %129
  store i1 false, ptr %5, align 1
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #5
  br label %455

153:                                              ; preds = %121
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #5
  %154 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %6)
  %155 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %21, i32 0, i32 0
  store i32 %154, ptr %155, align 4
  %156 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %7)
  %157 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %22, i32 0, i32 0
  store i32 %156, ptr %157, align 4
  %158 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %21, i32 0, i32 0
  %159 = load i32, ptr %158, align 4
  %160 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %22, i32 0, i32 0
  %161 = load i32, ptr %160, align 4
  %162 = call noundef i32 @_ZN16HighsCliqueTable18findCommonCliqueIdENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %52, i32 %159, i32 %161)
  store i32 %162, ptr %20, align 4, !tbaa !77
  %163 = load i32, ptr %20, align 4, !tbaa !77
  %164 = icmp eq i32 %163, -1
  br i1 %164, label %165, label %166

165:                                              ; preds = %153
  store i1 false, ptr %5, align 1
  store i32 1, ptr %23, align 4
  br label %454

166:                                              ; preds = %153
  br label %167

167:                                              ; preds = %273, %166
  %168 = load i32, ptr %20, align 4, !tbaa !77
  %169 = icmp ne i32 %168, -1
  br i1 %169, label %170, label %274

170:                                              ; preds = %167
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #5
  %171 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 6
  %172 = load i32, ptr %20, align 4, !tbaa !77
  %173 = sext i32 %172 to i64
  %174 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %171, i64 noundef %173) #5
  %175 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %174, i32 0, i32 0
  %176 = load i32, ptr %175, align 4, !tbaa !78
  store i32 %176, ptr %24, align 4, !tbaa !77
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #5
  %177 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 6
  %178 = load i32, ptr %20, align 4, !tbaa !77
  %179 = sext i32 %178 to i64
  %180 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %177, i64 noundef %179) #5
  %181 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %180, i32 0, i32 1
  %182 = load i32, ptr %181, align 4, !tbaa !80
  store i32 %182, ptr %25, align 4, !tbaa !77
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #5
  %183 = load i32, ptr %24, align 4, !tbaa !77
  store i32 %183, ptr %26, align 4, !tbaa !77
  br label %184

184:                                              ; preds = %255, %170
  %185 = load i32, ptr %26, align 4, !tbaa !77
  %186 = load i32, ptr %25, align 4, !tbaa !77
  %187 = icmp ne i32 %185, %186
  br i1 %187, label %189, label %188

188:                                              ; preds = %184
  store i32 4, ptr %23, align 4
  br label %258

189:                                              ; preds = %184
  %190 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %191 = load i32, ptr %26, align 4, !tbaa !77
  %192 = sext i32 %191 to i64
  %193 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %190, i64 noundef %192) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #5
  %194 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %6)
  %195 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %27, i32 0, i32 0
  store i32 %194, ptr %195, align 4
  %196 = call noundef zeroext i1 @_ZNK16HighsCliqueTable9CliqueVareqERKS0_(ptr noundef nonnull align 4 dereferenceable(4) %193, ptr noundef nonnull align 4 dereferenceable(4) %27)
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #5
  br i1 %196, label %205, label %197

197:                                              ; preds = %189
  %198 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %199 = load i32, ptr %26, align 4, !tbaa !77
  %200 = sext i32 %199 to i64
  %201 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %198, i64 noundef %200) #5
  %202 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %7)
  %203 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %28, i32 0, i32 0
  store i32 %202, ptr %203, align 4
  %204 = call noundef zeroext i1 @_ZNK16HighsCliqueTable9CliqueVareqERKS0_(ptr noundef nonnull align 4 dereferenceable(4) %201, ptr noundef nonnull align 4 dereferenceable(4) %28)
  br label %205

205:                                              ; preds = %197, %189
  %206 = phi i1 [ true, %189 ], [ %204, %197 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #5
  br i1 %206, label %207, label %208

207:                                              ; preds = %205
  br label %255

208:                                              ; preds = %205
  call void @llvm.lifetime.start.p0(i64 1, ptr %29) #5
  %209 = load ptr, ptr %9, align 8, !tbaa !5
  %210 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %211 = load i32, ptr %26, align 4, !tbaa !77
  %212 = sext i32 %211 to i64
  %213 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %210, i64 noundef %212) #5
  %214 = load i32, ptr %213, align 4
  %215 = and i32 %214, 2147483647
  %216 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %209, i32 noundef %215)
  %217 = zext i1 %216 to i8
  store i8 %217, ptr %29, align 1, !tbaa !9
  %218 = load ptr, ptr %9, align 8, !tbaa !5
  %219 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %220 = load i32, ptr %26, align 4, !tbaa !77
  %221 = sext i32 %220 to i64
  %222 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %219, i64 noundef %221) #5
  %223 = load i32, ptr %222, align 4
  %224 = and i32 %223, 2147483647
  %225 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %226 = load i32, ptr %26, align 4, !tbaa !77
  %227 = sext i32 %226 to i64
  %228 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %225, i64 noundef %227) #5
  %229 = load i32, ptr %228, align 4
  %230 = lshr i32 %229, 31
  %231 = sub nsw i32 1, %230
  %232 = sitofp i32 %231 to double
  %233 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  store i64 %233, ptr %30, align 4
  %234 = load i64, ptr %30, align 4
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %218, i32 noundef %224, double noundef %232, i64 %234)
  %235 = load ptr, ptr %9, align 8, !tbaa !5
  %236 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %235)
  br i1 %236, label %237, label %238

237:                                              ; preds = %208
  store i1 true, ptr %5, align 1
  store i32 1, ptr %23, align 4
  br label %252

238:                                              ; preds = %208
  %239 = load i8, ptr %29, align 1, !tbaa !9, !range !11, !noundef !12
  %240 = trunc i8 %239 to i1
  br i1 %240, label %251, label %241

241:                                              ; preds = %238
  %242 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 18
  %243 = load i32, ptr %242, align 8, !tbaa !13
  %244 = add nsw i32 %243, 1
  store i32 %244, ptr %242, align 8, !tbaa !13
  %245 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 8
  %246 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %247 = load i32, ptr %26, align 4, !tbaa !77
  %248 = sext i32 %247 to i64
  %249 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %246, i64 noundef %248) #5
  %250 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE12emplace_backIJRS1_EEES5_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %245, ptr noundef nonnull align 4 dereferenceable(4) %249)
  br label %251

251:                                              ; preds = %241, %238
  store i32 0, ptr %23, align 4
  br label %252

252:                                              ; preds = %251, %237
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #5
  %253 = load i32, ptr %23, align 4
  switch i32 %253, label %258 [
    i32 0, label %254
  ]

254:                                              ; preds = %252
  br label %255

255:                                              ; preds = %254, %207
  %256 = load i32, ptr %26, align 4, !tbaa !77
  %257 = add nsw i32 %256, 1
  store i32 %257, ptr %26, align 4, !tbaa !77
  br label %184, !llvm.loop !81

258:                                              ; preds = %252, %188
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #5
  %259 = load i32, ptr %23, align 4
  switch i32 %259, label %271 [
    i32 4, label %260
  ]

260:                                              ; preds = %258
  %261 = load i32, ptr %20, align 4, !tbaa !77
  call void @_ZN16HighsCliqueTable12removeCliqueEi(ptr noundef nonnull align 8 dereferenceable(488) %52, i32 noundef %261)
  %262 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %6)
  %263 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %31, i32 0, i32 0
  store i32 %262, ptr %263, align 4
  %264 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %7)
  %265 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %32, i32 0, i32 0
  store i32 %264, ptr %265, align 4
  %266 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %31, i32 0, i32 0
  %267 = load i32, ptr %266, align 4
  %268 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %32, i32 0, i32 0
  %269 = load i32, ptr %268, align 4
  %270 = call noundef i32 @_ZN16HighsCliqueTable18findCommonCliqueIdENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %52, i32 %267, i32 %269)
  store i32 %270, ptr %20, align 4, !tbaa !77
  store i32 0, ptr %23, align 4
  br label %271

271:                                              ; preds = %260, %258
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #5
  %272 = load i32, ptr %23, align 4
  switch i32 %272, label %454 [
    i32 0, label %273
  ]

273:                                              ; preds = %271
  br label %167, !llvm.loop !83

274:                                              ; preds = %167
  %275 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %52, ptr noundef nonnull align 8 dereferenceable(824) %275)
  %276 = load ptr, ptr %9, align 8, !tbaa !5
  %277 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %276)
  br i1 %277, label %278, label %279

278:                                              ; preds = %274
  store i1 false, ptr %5, align 1
  store i32 1, ptr %23, align 4
  br label %454

279:                                              ; preds = %274
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %33, ptr align 4 %6, i64 4, i1 false), !tbaa.struct !75
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %34, ptr align 4 %7, i64 4, i1 false), !tbaa.struct !75
  %280 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %33, i32 0, i32 0
  %281 = load i32, ptr %280, align 4
  %282 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %34, i32 0, i32 0
  %283 = load i32, ptr %282, align 4
  %284 = call noundef i32 @_ZN16HighsCliqueTable18findCommonCliqueIdENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %52, i32 %281, i32 %283)
  store i32 %284, ptr %20, align 4, !tbaa !77
  br label %285

285:                                              ; preds = %381, %279
  %286 = load i32, ptr %20, align 4, !tbaa !77
  %287 = icmp ne i32 %286, -1
  br i1 %287, label %288, label %382

288:                                              ; preds = %285
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #5
  %289 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 6
  %290 = load i32, ptr %20, align 4, !tbaa !77
  %291 = sext i32 %290 to i64
  %292 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %289, i64 noundef %291) #5
  %293 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %292, i32 0, i32 0
  %294 = load i32, ptr %293, align 4, !tbaa !78
  store i32 %294, ptr %35, align 4, !tbaa !77
  call void @llvm.lifetime.start.p0(i64 4, ptr %36) #5
  %295 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 6
  %296 = load i32, ptr %20, align 4, !tbaa !77
  %297 = sext i32 %296 to i64
  %298 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %295, i64 noundef %297) #5
  %299 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %298, i32 0, i32 1
  %300 = load i32, ptr %299, align 4, !tbaa !80
  store i32 %300, ptr %36, align 4, !tbaa !77
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #5
  %301 = load i32, ptr %35, align 4, !tbaa !77
  store i32 %301, ptr %37, align 4, !tbaa !77
  br label %302

302:                                              ; preds = %367, %288
  %303 = load i32, ptr %37, align 4, !tbaa !77
  %304 = load i32, ptr %36, align 4, !tbaa !77
  %305 = icmp ne i32 %303, %304
  br i1 %305, label %307, label %306

306:                                              ; preds = %302
  store i32 9, ptr %23, align 4
  br label %370

307:                                              ; preds = %302
  %308 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %309 = load i32, ptr %37, align 4, !tbaa !77
  %310 = sext i32 %309 to i64
  %311 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %308, i64 noundef %310) #5
  %312 = call noundef zeroext i1 @_ZNK16HighsCliqueTable9CliqueVareqERKS0_(ptr noundef nonnull align 4 dereferenceable(4) %311, ptr noundef nonnull align 4 dereferenceable(4) %6)
  br i1 %312, label %319, label %313

313:                                              ; preds = %307
  %314 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %315 = load i32, ptr %37, align 4, !tbaa !77
  %316 = sext i32 %315 to i64
  %317 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %314, i64 noundef %316) #5
  %318 = call noundef zeroext i1 @_ZNK16HighsCliqueTable9CliqueVareqERKS0_(ptr noundef nonnull align 4 dereferenceable(4) %317, ptr noundef nonnull align 4 dereferenceable(4) %7)
  br i1 %318, label %319, label %320

319:                                              ; preds = %313, %307
  br label %367

320:                                              ; preds = %313
  call void @llvm.lifetime.start.p0(i64 1, ptr %38) #5
  %321 = load ptr, ptr %9, align 8, !tbaa !5
  %322 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %323 = load i32, ptr %37, align 4, !tbaa !77
  %324 = sext i32 %323 to i64
  %325 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %322, i64 noundef %324) #5
  %326 = load i32, ptr %325, align 4
  %327 = and i32 %326, 2147483647
  %328 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %321, i32 noundef %327)
  %329 = zext i1 %328 to i8
  store i8 %329, ptr %38, align 1, !tbaa !9
  %330 = load ptr, ptr %9, align 8, !tbaa !5
  %331 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %332 = load i32, ptr %37, align 4, !tbaa !77
  %333 = sext i32 %332 to i64
  %334 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %331, i64 noundef %333) #5
  %335 = load i32, ptr %334, align 4
  %336 = and i32 %335, 2147483647
  %337 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %338 = load i32, ptr %37, align 4, !tbaa !77
  %339 = sext i32 %338 to i64
  %340 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %337, i64 noundef %339) #5
  %341 = load i32, ptr %340, align 4
  %342 = lshr i32 %341, 31
  %343 = sub nsw i32 1, %342
  %344 = sitofp i32 %343 to double
  %345 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  store i64 %345, ptr %39, align 4
  %346 = load i64, ptr %39, align 4
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %330, i32 noundef %336, double noundef %344, i64 %346)
  %347 = load ptr, ptr %9, align 8, !tbaa !5
  %348 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %347)
  br i1 %348, label %349, label %350

349:                                              ; preds = %320
  store i1 true, ptr %5, align 1
  store i32 1, ptr %23, align 4
  br label %364

350:                                              ; preds = %320
  %351 = load i8, ptr %38, align 1, !tbaa !9, !range !11, !noundef !12
  %352 = trunc i8 %351 to i1
  br i1 %352, label %363, label %353

353:                                              ; preds = %350
  %354 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 18
  %355 = load i32, ptr %354, align 8, !tbaa !13
  %356 = add nsw i32 %355, 1
  store i32 %356, ptr %354, align 8, !tbaa !13
  %357 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 8
  %358 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 0
  %359 = load i32, ptr %37, align 4, !tbaa !77
  %360 = sext i32 %359 to i64
  %361 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %358, i64 noundef %360) #5
  %362 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE12emplace_backIJRS1_EEES5_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %357, ptr noundef nonnull align 4 dereferenceable(4) %361)
  br label %363

363:                                              ; preds = %353, %350
  store i32 0, ptr %23, align 4
  br label %364

364:                                              ; preds = %363, %349
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #5
  %365 = load i32, ptr %23, align 4
  switch i32 %365, label %370 [
    i32 0, label %366
  ]

366:                                              ; preds = %364
  br label %367

367:                                              ; preds = %366, %319
  %368 = load i32, ptr %37, align 4, !tbaa !77
  %369 = add nsw i32 %368, 1
  store i32 %369, ptr %37, align 4, !tbaa !77
  br label %302, !llvm.loop !84

370:                                              ; preds = %364, %306
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #5
  %371 = load i32, ptr %23, align 4
  switch i32 %371, label %379 [
    i32 9, label %372
  ]

372:                                              ; preds = %370
  %373 = load i32, ptr %20, align 4, !tbaa !77
  call void @_ZN16HighsCliqueTable12removeCliqueEi(ptr noundef nonnull align 8 dereferenceable(488) %52, i32 noundef %373)
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %40, ptr align 4 %6, i64 4, i1 false), !tbaa.struct !75
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %41, ptr align 4 %7, i64 4, i1 false), !tbaa.struct !75
  %374 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %40, i32 0, i32 0
  %375 = load i32, ptr %374, align 4
  %376 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %41, i32 0, i32 0
  %377 = load i32, ptr %376, align 4
  %378 = call noundef i32 @_ZN16HighsCliqueTable18findCommonCliqueIdENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %52, i32 %375, i32 %377)
  store i32 %378, ptr %20, align 4, !tbaa !77
  store i32 0, ptr %23, align 4
  br label %379

379:                                              ; preds = %372, %370
  call void @llvm.lifetime.end.p0(i64 4, ptr %36) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #5
  %380 = load i32, ptr %23, align 4
  switch i32 %380, label %454 [
    i32 0, label %381
  ]

381:                                              ; preds = %379
  br label %285, !llvm.loop !85

382:                                              ; preds = %285
  %383 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %52, ptr noundef nonnull align 8 dereferenceable(824) %383)
  %384 = load ptr, ptr %9, align 8, !tbaa !5
  %385 = load i32, ptr %6, align 4
  %386 = and i32 %385, 2147483647
  %387 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %384, i32 noundef %386)
  br i1 %387, label %396, label %388

388:                                              ; preds = %382
  %389 = load ptr, ptr %9, align 8, !tbaa !5
  %390 = load i32, ptr %7, align 4
  %391 = and i32 %390, 2147483647
  %392 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %389, i32 noundef %391)
  br i1 %392, label %396, label %393

393:                                              ; preds = %388
  %394 = load ptr, ptr %9, align 8, !tbaa !5
  %395 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %394)
  br i1 %395, label %396, label %397

396:                                              ; preds = %393, %388, %382
  store i1 true, ptr %5, align 1
  store i32 1, ptr %23, align 4
  br label %454

397:                                              ; preds = %393
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #5
  %398 = load i32, ptr %7, align 4
  %399 = and i32 %398, 2147483647
  %400 = load i32, ptr %6, align 4
  %401 = and i32 %400, 2147483647
  %402 = icmp slt i32 %399, %401
  br i1 %402, label %403, label %415

403:                                              ; preds = %397
  %404 = load i32, ptr %6, align 4
  %405 = lshr i32 %404, 31
  %406 = icmp eq i32 %405, 1
  br i1 %406, label %407, label %410

407:                                              ; preds = %403
  call void @llvm.lifetime.start.p0(i64 4, ptr %43) #5
  %408 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %7)
  %409 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %43, i32 0, i32 0
  store i32 %408, ptr %409, align 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %7, ptr align 4 %43, i64 4, i1 false), !tbaa.struct !75
  call void @llvm.lifetime.end.p0(i64 4, ptr %43) #5
  br label %410

410:                                              ; preds = %407, %403
  %411 = load i32, ptr %6, align 4
  %412 = and i32 %411, 2147483647
  %413 = getelementptr inbounds %"struct.HighsCliqueTable::Substitution", ptr %42, i32 0, i32 0
  store i32 %412, ptr %413, align 4, !tbaa !86
  %414 = getelementptr inbounds %"struct.HighsCliqueTable::Substitution", ptr %42, i32 0, i32 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %414, ptr align 4 %7, i64 4, i1 false), !tbaa.struct !75
  br label %427

415:                                              ; preds = %397
  %416 = load i32, ptr %7, align 4
  %417 = lshr i32 %416, 31
  %418 = icmp eq i32 %417, 1
  br i1 %418, label %419, label %422

419:                                              ; preds = %415
  call void @llvm.lifetime.start.p0(i64 4, ptr %44) #5
  %420 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %6)
  %421 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %44, i32 0, i32 0
  store i32 %420, ptr %421, align 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %6, ptr align 4 %44, i64 4, i1 false), !tbaa.struct !75
  call void @llvm.lifetime.end.p0(i64 4, ptr %44) #5
  br label %422

422:                                              ; preds = %419, %415
  %423 = load i32, ptr %7, align 4
  %424 = and i32 %423, 2147483647
  %425 = getelementptr inbounds %"struct.HighsCliqueTable::Substitution", ptr %42, i32 0, i32 0
  store i32 %424, ptr %425, align 4, !tbaa !86
  %426 = getelementptr inbounds %"struct.HighsCliqueTable::Substitution", ptr %42, i32 0, i32 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %426, ptr align 4 %6, i64 4, i1 false), !tbaa.struct !75
  br label %427

427:                                              ; preds = %422, %410
  %428 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 10
  call void @_ZNSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %428, ptr noundef nonnull align 4 dereferenceable(8) %42)
  %429 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 10
  %430 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %429) #5
  %431 = trunc i64 %430 to i32
  %432 = getelementptr inbounds %class.HighsCliqueTable, ptr %52, i32 0, i32 9
  %433 = getelementptr inbounds %"struct.HighsCliqueTable::Substitution", ptr %42, i32 0, i32 0
  %434 = load i32, ptr %433, align 4, !tbaa !86
  %435 = sext i32 %434 to i64
  %436 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %432, i64 noundef %435) #5
  store i32 %431, ptr %436, align 4, !tbaa !77
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #5
  %437 = getelementptr inbounds %class.anon.141, ptr %45, i32 0, i32 0
  store ptr %52, ptr %437, align 8, !tbaa !89
  %438 = getelementptr inbounds %"struct.HighsCliqueTable::Substitution", ptr %42, i32 0, i32 0
  %439 = load i32, ptr %438, align 4, !tbaa !86
  call void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4) %46, i32 noundef %439, i32 noundef 1)
  %440 = getelementptr inbounds %"struct.HighsCliqueTable::Substitution", ptr %42, i32 0, i32 1
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %47, ptr align 4 %440, i64 4, i1 false), !tbaa.struct !75
  %441 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %46, i32 0, i32 0
  %442 = load i32, ptr %441, align 4
  %443 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %47, i32 0, i32 0
  %444 = load i32, ptr %443, align 4
  call void @"_ZZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_ENK3$_0clES2_S2_"(ptr noundef nonnull align 8 dereferenceable(8) %45, i32 %442, i32 %444)
  %445 = getelementptr inbounds %"struct.HighsCliqueTable::Substitution", ptr %42, i32 0, i32 0
  %446 = load i32, ptr %445, align 4, !tbaa !86
  call void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4) %48, i32 noundef %446, i32 noundef 0)
  %447 = getelementptr inbounds %"struct.HighsCliqueTable::Substitution", ptr %42, i32 0, i32 1
  %448 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %447)
  %449 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %49, i32 0, i32 0
  store i32 %448, ptr %449, align 4
  %450 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %48, i32 0, i32 0
  %451 = load i32, ptr %450, align 4
  %452 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %49, i32 0, i32 0
  %453 = load i32, ptr %452, align 4
  call void @"_ZZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_ENK3$_0clES2_S2_"(ptr noundef nonnull align 8 dereferenceable(8) %45, i32 %451, i32 %453)
  store i1 true, ptr %5, align 1
  store i32 1, ptr %23, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #5
  br label %454

454:                                              ; preds = %427, %396, %379, %278, %271, %165
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #5
  br label %455

455:                                              ; preds = %454, %152, %120, %88, %87
  %456 = load i1, ptr %5, align 1
  ret i1 %456
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824), i32 noundef) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824), i32 noundef, double noundef, i64) #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local i64 @_ZN11HighsDomain6Reason11unspecifiedEv() #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 8 dereferenceable(824)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN16HighsCliqueTable16haveCommonCliqueENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488), i32, i32) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZN16HighsCliqueTable18findCommonCliqueIdENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488), i32, i32) #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824)) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE12emplace_backIJRS1_EEES5_DpOT_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(4)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(8)) #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) #1 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_ENK3$_0clES2_S2_"(ptr noundef nonnull align 8 dereferenceable(8), i32, i32) #4 align 2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"bool", !7, i64 0}
!11 = !{i8 0, i8 2}
!12 = !{}
!13 = !{!14, !74, i64 456}
!14 = !{!"_ZTS16HighsCliqueTable", !15, i64 0, !19, i64 24, !23, i64 48, !27, i64 72, !41, i64 112, !49, i64 160, !53, i64 184, !49, i64 208, !15, i64 232, !49, i64 256, !57, i64 280, !49, i64 304, !61, i64 328, !65, i64 352, !65, i64 376, !69, i64 400, !49, i64 424, !73, i64 448, !74, i64 456, !74, i64 460, !74, i64 464, !74, i64 468, !10, i64 472, !40, i64 480}
!15 = !{!"_ZTSSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE", !16, i64 0}
!16 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE12_Vector_implE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!19 = !{!"_ZTSSt6vectorI13HighsHashTreeIiiESaIS1_EE", !20, i64 0}
!20 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE12_Vector_implE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!23 = !{!"_ZTSSt6vectorI13HighsHashTreeIivESaIS1_EE", !24, i64 0}
!24 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE", !25, i64 0}
!25 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE12_Vector_implE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!27 = !{!"_ZTS14HighsHashTableISt4pairIN16HighsCliqueTable9CliqueVarES2_EiE", !28, i64 0, !34, i64 8, !40, i64 16, !40, i64 24, !40, i64 32}
!28 = !{!"_ZTSSt10unique_ptrI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !29, i64 0}
!29 = !{!"_ZTSSt15__uniq_ptr_dataI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterELb1ELb1EE", !30, i64 0}
!30 = !{!"_ZTSSt15__uniq_ptr_implI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !31, i64 0}
!31 = !{!"_ZTSSt5tupleIJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !32, i64 0}
!32 = !{!"_ZTSSt11_Tuple_implILm0EJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !33, i64 0}
!33 = !{!"_ZTSSt10_Head_baseILm0EP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiELb0EE", !6, i64 0}
!34 = !{!"_ZTSSt10unique_ptrIA_hSt14default_deleteIS0_EE", !35, i64 0}
!35 = !{!"_ZTSSt15__uniq_ptr_dataIhSt14default_deleteIA_hELb1ELb1EE", !36, i64 0}
!36 = !{!"_ZTSSt15__uniq_ptr_implIhSt14default_deleteIA_hEE", !37, i64 0}
!37 = !{!"_ZTSSt5tupleIJPhSt14default_deleteIA_hEEE", !38, i64 0}
!38 = !{!"_ZTSSt11_Tuple_implILm0EJPhSt14default_deleteIA_hEEE", !39, i64 0}
!39 = !{!"_ZTSSt10_Head_baseILm0EPhLb0EE", !6, i64 0}
!40 = !{!"long", !7, i64 0}
!41 = !{!"_ZTSSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE", !42, i64 0}
!42 = !{!"_ZTSSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE", !43, i64 0}
!43 = !{!"_ZTSNSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE13_Rb_tree_implIS5_Lb1EEE", !44, i64 0, !46, i64 8}
!44 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessISt4pairIiiEEE", !45, i64 0}
!45 = !{!"_ZTSSt4lessISt4pairIiiEE"}
!46 = !{!"_ZTSSt15_Rb_tree_header", !47, i64 0, !40, i64 32}
!47 = !{!"_ZTSSt18_Rb_tree_node_base", !48, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!48 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!49 = !{!"_ZTSSt6vectorIiSaIiEE", !50, i64 0}
!50 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !51, i64 0}
!51 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !52, i64 0}
!52 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!53 = !{!"_ZTSSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE", !54, i64 0}
!54 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE", !55, i64 0}
!55 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE12_Vector_implE", !56, i64 0}
!56 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!57 = !{!"_ZTSSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE", !58, i64 0}
!58 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE", !59, i64 0}
!59 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE12_Vector_implE", !60, i64 0}
!60 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!61 = !{!"_ZTSSt6vectorISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !62, i64 0}
!62 = !{!"_ZTSSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !63, i64 0}
!63 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE12_Vector_implE", !64, i64 0}
!64 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!65 = !{!"_ZTSSt6vectorIhSaIhEE", !66, i64 0}
!66 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !67, i64 0}
!67 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !68, i64 0}
!68 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!69 = !{!"_ZTSSt6vectorIjSaIjEE", !70, i64 0}
!70 = !{!"_ZTSSt12_Vector_baseIjSaIjEE", !71, i64 0}
!71 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE12_Vector_implE", !72, i64 0}
!72 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!73 = !{!"_ZTS11HighsRandom", !40, i64 0}
!74 = !{!"int", !7, i64 0}
!75 = !{i64 0, i64 4, !76}
!76 = !{!7, !7, i64 0}
!77 = !{!74, !74, i64 0}
!78 = !{!79, !74, i64 0}
!79 = !{!"_ZTSN16HighsCliqueTable6CliqueE", !74, i64 0, !74, i64 4, !74, i64 8, !74, i64 12, !10, i64 16}
!80 = !{!79, !74, i64 4}
!81 = distinct !{!81, !82}
!82 = !{!"llvm.loop.mustprogress"}
!83 = distinct !{!83, !82}
!84 = distinct !{!84, !82}
!85 = distinct !{!85, !82}
!86 = !{!87, !74, i64 0}
!87 = !{!"_ZTSN16HighsCliqueTable12SubstitutionE", !74, i64 0, !88, i64 4}
!88 = !{!"_ZTSN16HighsCliqueTable9CliqueVarE", !74, i64 0, !74, i64 3}
!89 = !{!90, !6, i64 0}
!90 = !{!"_ZTSZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_E3$_0", !6, i64 0}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"struct.HighsCliqueTable::CliqueVar" = type { i32 }
%"struct.HighsCliqueTable::Substitution" = type { i32, %"struct.HighsCliqueTable::CliqueVar" }
%class.anon.141 = type { ptr }

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable12removeCliqueEi(ptr noundef nonnull align 8 dereferenceable(488), i32 noundef) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4), i32 noundef, i32 noundef) unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK16HighsCliqueTable9CliqueVareqERKS0_(ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_ZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1, i32 %2, i32 %3) local_unnamed_addr #2 align 2 {
  %5 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %6 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %7 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %8 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %9 = alloca %"struct.HighsCliqueTable::Substitution", align 4
  %10 = alloca %class.anon.141, align 8
  %11 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %12 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  store i32 %2, ptr %5, align 4
  store i32 %3, ptr %6, align 4
  %13 = and i32 %2, 2147483647
  %14 = and i32 %3, 2147483647
  %15 = icmp eq i32 %13, %14
  br i1 %15, label %16, label %27

16:                                               ; preds = %4
  %.unshifted = xor i32 %3, %2
  %17 = icmp sgt i32 %.unshifted, -1
  br i1 %17, label %18, label %.critedge111.thread

18:                                               ; preds = %16
  %19 = tail call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %13)
  %isnotneg109 = icmp sgt i32 %2, -1
  %20 = uitofp i1 %isnotneg109 to double
  %21 = tail call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  tail call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %13, double noundef %20, i64 %21)
  br i1 %19, label %.critedge111.thread, label %22

22:                                               ; preds = %18
  %23 = getelementptr inbounds i8, ptr %0, i64 456
  %24 = load i32, ptr %23, align 8, !tbaa !5
  %25 = add nsw i32 %24, 1
  store i32 %25, ptr %23, align 8, !tbaa !5
  %26 = getelementptr inbounds i8, ptr %0, i64 232
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %26, ptr noundef nonnull align 4 dereferenceable(4) %5)
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1)
  br label %.critedge111.thread

27:                                               ; preds = %4
  %28 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %5)
  %.sroa.061.0.copyload = load i32, ptr %6, align 4, !tbaa !71
  %29 = call noundef zeroext i1 @_ZN16HighsCliqueTable16haveCommonCliqueENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 %28, i32 %.sroa.061.0.copyload)
  br i1 %29, label %30, label %43

30:                                               ; preds = %27
  %31 = load i32, ptr %6, align 4
  %32 = and i32 %31, 2147483647
  %33 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %32)
  %34 = load i32, ptr %6, align 4
  %35 = and i32 %34, 2147483647
  %isnotneg108 = icmp sgt i32 %34, -1
  %36 = uitofp i1 %isnotneg108 to double
  %37 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %35, double noundef %36, i64 %37)
  br i1 %33, label %.critedge111.thread, label %38

38:                                               ; preds = %30
  %39 = getelementptr inbounds i8, ptr %0, i64 456
  %40 = load i32, ptr %39, align 8, !tbaa !5
  %41 = add nsw i32 %40, 1
  store i32 %41, ptr %39, align 8, !tbaa !5
  %42 = getelementptr inbounds i8, ptr %0, i64 232
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %42, ptr noundef nonnull align 4 dereferenceable(4) %6)
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1)
  br label %.critedge111.thread

43:                                               ; preds = %27
  %44 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %6)
  %.sroa.057.0.copyload = load i32, ptr %5, align 4, !tbaa !71
  %45 = call noundef zeroext i1 @_ZN16HighsCliqueTable16haveCommonCliqueENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 %44, i32 %.sroa.057.0.copyload)
  br i1 %45, label %46, label %59

46:                                               ; preds = %43
  %47 = load i32, ptr %5, align 4
  %48 = and i32 %47, 2147483647
  %49 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %48)
  %50 = load i32, ptr %5, align 4
  %51 = and i32 %50, 2147483647
  %isnotneg107 = icmp sgt i32 %50, -1
  %52 = uitofp i1 %isnotneg107 to double
  %53 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %51, double noundef %52, i64 %53)
  br i1 %49, label %.critedge111.thread, label %54

54:                                               ; preds = %46
  %55 = getelementptr inbounds i8, ptr %0, i64 456
  %56 = load i32, ptr %55, align 8, !tbaa !5
  %57 = add nsw i32 %56, 1
  store i32 %57, ptr %55, align 8, !tbaa !5
  %58 = getelementptr inbounds i8, ptr %0, i64 232
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %58, ptr noundef nonnull align 4 dereferenceable(4) %5)
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1)
  br label %.critedge111.thread

59:                                               ; preds = %43
  %60 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %5)
  %61 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %6)
  %62 = call noundef i32 @_ZN16HighsCliqueTable18findCommonCliqueIdENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 %60, i32 %61)
  %63 = icmp eq i32 %62, -1
  br i1 %63, label %.critedge111.thread, label %.preheader

.preheader:                                       ; preds = %59
  %64 = getelementptr inbounds i8, ptr %0, i64 184
  %65 = getelementptr inbounds i8, ptr %0, i64 456
  %66 = getelementptr inbounds i8, ptr %0, i64 232
  br label %67

67:                                               ; preds = %.preheader, %.critedge111
  %.087121 = phi i32 [ %62, %.preheader ], [ %105, %.critedge111 ]
  %68 = sext i32 %.087121 to i64
  %69 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %64, i64 noundef %68) #4
  %70 = load i32, ptr %69, align 4, !tbaa !72
  %71 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %64, i64 noundef %68) #4
  %72 = getelementptr inbounds i8, ptr %71, i64 4
  %73 = load i32, ptr %72, align 4, !tbaa !74
  %.not105119 = icmp eq i32 %70, %73
  br i1 %.not105119, label %.critedge111, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %67
  %74 = sext i32 %70 to i64
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.preheader, %101
  %indvars.iv = phi i64 [ %74, %.lr.ph.preheader ], [ %indvars.iv.next, %101 ]
  %75 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %7) #4
  %76 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %5)
  store i32 %76, ptr %7, align 4
  %77 = call noundef zeroext i1 @_ZNK16HighsCliqueTable9CliqueVareqERKS0_(ptr noundef nonnull align 4 dereferenceable(4) %75, ptr noundef nonnull align 4 dereferenceable(4) %7)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %8) #4
  br i1 %77, label %.critedge, label %78

78:                                               ; preds = %.lr.ph
  %79 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv) #4
  %80 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %6)
  store i32 %80, ptr %8, align 4
  %81 = call noundef zeroext i1 @_ZNK16HighsCliqueTable9CliqueVareqERKS0_(ptr noundef nonnull align 4 dereferenceable(4) %79, ptr noundef nonnull align 4 dereferenceable(4) %8)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %8) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %7) #4
  br i1 %81, label %101, label %82

.critedge:                                        ; preds = %.lr.ph
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %8) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %7) #4
  br label %101

82:                                               ; preds = %78
  %83 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv) #4
  %84 = load i32, ptr %83, align 4
  %85 = and i32 %84, 2147483647
  %86 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %85)
  %87 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv) #4
  %88 = load i32, ptr %87, align 4
  %89 = and i32 %88, 2147483647
  %90 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv) #4
  %91 = load i32, ptr %90, align 4
  %isnotneg106 = icmp sgt i32 %91, -1
  %92 = uitofp i1 %isnotneg106 to double
  %93 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %89, double noundef %92, i64 %93)
  %94 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %1)
  br i1 %94, label %.critedge111.thread, label %95

95:                                               ; preds = %82
  br i1 %86, label %101, label %96

96:                                               ; preds = %95
  %97 = load i32, ptr %65, align 8, !tbaa !5
  %98 = add nsw i32 %97, 1
  store i32 %98, ptr %65, align 8, !tbaa !5
  %99 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv) #4
  %100 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE12emplace_backIJRS1_EEES5_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %66, ptr noundef nonnull align 4 dereferenceable(4) %99)
  br label %101

101:                                              ; preds = %96, %95, %78, %.critedge
  %indvars.iv.next = add nsw i64 %indvars.iv, 1
  %102 = trunc nsw i64 %indvars.iv.next to i32
  %.not105 = icmp eq i32 %73, %102
  br i1 %.not105, label %.critedge111, label %.lr.ph, !llvm.loop !75

.critedge111:                                     ; preds = %101, %67
  call void @_ZN16HighsCliqueTable12removeCliqueEi(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 noundef %.087121)
  %103 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %5)
  %104 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %6)
  %105 = call noundef i32 @_ZN16HighsCliqueTable18findCommonCliqueIdENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 %103, i32 %104)
  %.not = icmp eq i32 %105, -1
  br i1 %.not, label %106, label %67

106:                                              ; preds = %.critedge111
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1)
  %107 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %1)
  br i1 %107, label %.critedge111.thread, label %108

108:                                              ; preds = %106
  %.sroa.023.0.copyload = load i32, ptr %5, align 4, !tbaa !71
  %.sroa.022.0.copyload = load i32, ptr %6, align 4, !tbaa !71
  %109 = call noundef i32 @_ZN16HighsCliqueTable18findCommonCliqueIdENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 %.sroa.023.0.copyload, i32 %.sroa.022.0.copyload)
  %.not101125 = icmp eq i32 %109, -1
  br i1 %.not101125, label %._crit_edge, label %.lr.ph127

.lr.ph127:                                        ; preds = %108, %.critedge114
  %.289126 = phi i32 [ %143, %.critedge114 ], [ %109, %108 ]
  %110 = sext i32 %.289126 to i64
  %111 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %64, i64 noundef %110) #4
  %112 = load i32, ptr %111, align 4, !tbaa !72
  %113 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %64, i64 noundef %110) #4
  %114 = getelementptr inbounds i8, ptr %113, i64 4
  %115 = load i32, ptr %114, align 4, !tbaa !74
  %.not104122 = icmp eq i32 %112, %115
  br i1 %.not104122, label %.critedge114, label %.lr.ph124.preheader

.lr.ph124.preheader:                              ; preds = %.lr.ph127
  %116 = sext i32 %112 to i64
  br label %.lr.ph124

.lr.ph124:                                        ; preds = %.lr.ph124.preheader, %141
  %indvars.iv130 = phi i64 [ %116, %.lr.ph124.preheader ], [ %indvars.iv.next131, %141 ]
  %117 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv130) #4
  %118 = call noundef zeroext i1 @_ZNK16HighsCliqueTable9CliqueVareqERKS0_(ptr noundef nonnull align 4 dereferenceable(4) %117, ptr noundef nonnull align 4 dereferenceable(4) %5)
  br i1 %118, label %141, label %119

119:                                              ; preds = %.lr.ph124
  %120 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv130) #4
  %121 = call noundef zeroext i1 @_ZNK16HighsCliqueTable9CliqueVareqERKS0_(ptr noundef nonnull align 4 dereferenceable(4) %120, ptr noundef nonnull align 4 dereferenceable(4) %6)
  br i1 %121, label %141, label %122

122:                                              ; preds = %119
  %123 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv130) #4
  %124 = load i32, ptr %123, align 4
  %125 = and i32 %124, 2147483647
  %126 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %125)
  %127 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv130) #4
  %128 = load i32, ptr %127, align 4
  %129 = and i32 %128, 2147483647
  %130 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv130) #4
  %131 = load i32, ptr %130, align 4
  %isnotneg = icmp sgt i32 %131, -1
  %132 = uitofp i1 %isnotneg to double
  %133 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %129, double noundef %132, i64 %133)
  %134 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %1)
  br i1 %134, label %.critedge111.thread, label %135

135:                                              ; preds = %122
  br i1 %126, label %141, label %136

136:                                              ; preds = %135
  %137 = load i32, ptr %65, align 8, !tbaa !5
  %138 = add nsw i32 %137, 1
  store i32 %138, ptr %65, align 8, !tbaa !5
  %139 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv130) #4
  %140 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE12emplace_backIJRS1_EEES5_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %66, ptr noundef nonnull align 4 dereferenceable(4) %139)
  br label %141

141:                                              ; preds = %136, %135, %.lr.ph124, %119
  %indvars.iv.next131 = add nsw i64 %indvars.iv130, 1
  %142 = trunc nsw i64 %indvars.iv.next131 to i32
  %.not104 = icmp eq i32 %115, %142
  br i1 %.not104, label %.critedge114, label %.lr.ph124, !llvm.loop !77

.critedge114:                                     ; preds = %141, %.lr.ph127
  call void @_ZN16HighsCliqueTable12removeCliqueEi(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 noundef %.289126)
  %.sroa.010.0.copyload = load i32, ptr %5, align 4, !tbaa !71
  %.sroa.09.0.copyload = load i32, ptr %6, align 4, !tbaa !71
  %143 = call noundef i32 @_ZN16HighsCliqueTable18findCommonCliqueIdENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 %.sroa.010.0.copyload, i32 %.sroa.09.0.copyload)
  %.not101 = icmp eq i32 %143, -1
  br i1 %.not101, label %._crit_edge, label %.lr.ph127

._crit_edge:                                      ; preds = %.critedge114, %108
  call void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1)
  %144 = load i32, ptr %5, align 4
  %145 = and i32 %144, 2147483647
  %146 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %145)
  br i1 %146, label %.critedge111.thread, label %147

147:                                              ; preds = %._crit_edge
  %148 = load i32, ptr %6, align 4
  %149 = and i32 %148, 2147483647
  %150 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %149)
  br i1 %150, label %.critedge111.thread, label %151

151:                                              ; preds = %147
  %152 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %1)
  br i1 %152, label %.critedge111.thread, label %153

153:                                              ; preds = %151
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #4
  %154 = load i32, ptr %6, align 4
  %155 = and i32 %154, 2147483647
  %156 = load i32, ptr %5, align 4
  %157 = and i32 %156, 2147483647
  %158 = icmp ult i32 %155, %157
  br i1 %158, label %159, label %162

159:                                              ; preds = %153
  %.not103 = icmp sgt i32 %156, -1
  br i1 %.not103, label %165, label %160

160:                                              ; preds = %159
  %161 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %6)
  store i32 %161, ptr %6, align 4, !tbaa !71
  %.pre133 = load i32, ptr %5, align 4
  %.pre134 = and i32 %.pre133, 2147483647
  br label %165

162:                                              ; preds = %153
  %.not102 = icmp sgt i32 %154, -1
  br i1 %.not102, label %165, label %163

163:                                              ; preds = %162
  %164 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %5)
  store i32 %164, ptr %5, align 4, !tbaa !71
  %.pre = load i32, ptr %6, align 4
  %.pre135 = and i32 %.pre, 2147483647
  br label %165

165:                                              ; preds = %162, %163, %159, %160
  %storemerge = phi i32 [ %.pre134, %160 ], [ %157, %159 ], [ %.pre135, %163 ], [ %155, %162 ]
  %.sink = phi i32 [ %161, %160 ], [ %154, %159 ], [ %164, %163 ], [ %156, %162 ]
  store i32 %storemerge, ptr %9, align 4, !tbaa !78
  %166 = getelementptr inbounds i8, ptr %9, i64 4
  store i32 %.sink, ptr %166, align 4, !tbaa !71
  %167 = getelementptr inbounds i8, ptr %0, i64 280
  call void @_ZNSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %167, ptr noundef nonnull align 4 dereferenceable(8) %9)
  %168 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %167) #4
  %169 = trunc i64 %168 to i32
  %170 = getelementptr inbounds i8, ptr %0, i64 256
  %171 = load i32, ptr %9, align 4, !tbaa !78
  %172 = sext i32 %171 to i64
  %173 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %170, i64 noundef %172) #4
  store i32 %169, ptr %173, align 4, !tbaa !81
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #4
  store ptr %0, ptr %10, align 8, !tbaa !82
  %174 = load i32, ptr %9, align 4, !tbaa !78
  call void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4) %11, i32 noundef %174, i32 noundef 1)
  %175 = getelementptr inbounds i8, ptr %9, i64 4
  %.sroa.06.0.copyload = load i32, ptr %175, align 4, !tbaa !71
  %176 = load i32, ptr %11, align 4
  call void @"_ZZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_ENK3$_0clES2_S2_"(ptr noundef nonnull align 8 dereferenceable(8) %10, i32 %176, i32 %.sroa.06.0.copyload)
  %177 = load i32, ptr %9, align 4, !tbaa !78
  call void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4) %12, i32 noundef %177, i32 noundef 0)
  %178 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %175)
  %179 = load i32, ptr %12, align 4
  call void @"_ZZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_ENK3$_0clES2_S2_"(ptr noundef nonnull align 8 dereferenceable(8) %10, i32 %179, i32 %178)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #4
  br label %.critedge111.thread

.critedge111.thread:                              ; preds = %82, %122, %165, %59, %106, %151, %147, %._crit_edge, %46, %54, %30, %38, %16, %18, %22
  %.11 = phi i1 [ false, %22 ], [ false, %18 ], [ true, %16 ], [ false, %38 ], [ false, %30 ], [ false, %54 ], [ false, %46 ], [ true, %165 ], [ false, %59 ], [ false, %106 ], [ true, %151 ], [ true, %147 ], [ true, %._crit_edge ], [ true, %122 ], [ true, %82 ]
  ret i1 %.11
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824), i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824), i32 noundef, double noundef, i64) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local i64 @_ZN11HighsDomain6Reason11unspecifiedEv() local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 8 dereferenceable(824)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN16HighsCliqueTable16haveCommonCliqueENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488), i32, i32) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZN16HighsCliqueTable18findCommonCliqueIdENS_9CliqueVarES0_(ptr noundef nonnull align 8 dereferenceable(488), i32, i32) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE12emplace_backIJRS1_EEES5_DpOT_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_ENK3$_0clES2_S2_"(ptr noundef nonnull align 8 dereferenceable(8), i32, i32) local_unnamed_addr #3 align 2

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !69, i64 456}
!6 = !{!"_ZTS16HighsCliqueTable", !7, i64 0, !14, i64 24, !18, i64 48, !22, i64 72, !36, i64 112, !44, i64 160, !48, i64 184, !44, i64 208, !7, i64 232, !44, i64 256, !52, i64 280, !44, i64 304, !56, i64 328, !60, i64 352, !60, i64 376, !64, i64 400, !44, i64 424, !68, i64 448, !69, i64 456, !69, i64 460, !69, i64 464, !69, i64 468, !70, i64 472, !35, i64 480}
!7 = !{!"_ZTSSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE", !8, i64 0}
!8 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE", !9, i64 0}
!9 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE12_Vector_implE", !10, i64 0}
!10 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!11 = !{!"any pointer", !12, i64 0}
!12 = !{!"omnipotent char", !13, i64 0}
!13 = !{!"Simple C++ TBAA"}
!14 = !{!"_ZTSSt6vectorI13HighsHashTreeIiiESaIS1_EE", !15, i64 0}
!15 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE12_Vector_implE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!18 = !{!"_ZTSSt6vectorI13HighsHashTreeIivESaIS1_EE", !19, i64 0}
!19 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE12_Vector_implE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!22 = !{!"_ZTS14HighsHashTableISt4pairIN16HighsCliqueTable9CliqueVarES2_EiE", !23, i64 0, !29, i64 8, !35, i64 16, !35, i64 24, !35, i64 32}
!23 = !{!"_ZTSSt10unique_ptrI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !24, i64 0}
!24 = !{!"_ZTSSt15__uniq_ptr_dataI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterELb1ELb1EE", !25, i64 0}
!25 = !{!"_ZTSSt15__uniq_ptr_implI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !26, i64 0}
!26 = !{!"_ZTSSt5tupleIJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !27, i64 0}
!27 = !{!"_ZTSSt11_Tuple_implILm0EJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !28, i64 0}
!28 = !{!"_ZTSSt10_Head_baseILm0EP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiELb0EE", !11, i64 0}
!29 = !{!"_ZTSSt10unique_ptrIA_hSt14default_deleteIS0_EE", !30, i64 0}
!30 = !{!"_ZTSSt15__uniq_ptr_dataIhSt14default_deleteIA_hELb1ELb1EE", !31, i64 0}
!31 = !{!"_ZTSSt15__uniq_ptr_implIhSt14default_deleteIA_hEE", !32, i64 0}
!32 = !{!"_ZTSSt5tupleIJPhSt14default_deleteIA_hEEE", !33, i64 0}
!33 = !{!"_ZTSSt11_Tuple_implILm0EJPhSt14default_deleteIA_hEEE", !34, i64 0}
!34 = !{!"_ZTSSt10_Head_baseILm0EPhLb0EE", !11, i64 0}
!35 = !{!"long", !12, i64 0}
!36 = !{!"_ZTSSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE", !37, i64 0}
!37 = !{!"_ZTSSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE", !38, i64 0}
!38 = !{!"_ZTSNSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE13_Rb_tree_implIS5_Lb1EEE", !39, i64 0, !41, i64 8}
!39 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessISt4pairIiiEEE", !40, i64 0}
!40 = !{!"_ZTSSt4lessISt4pairIiiEE"}
!41 = !{!"_ZTSSt15_Rb_tree_header", !42, i64 0, !35, i64 32}
!42 = !{!"_ZTSSt18_Rb_tree_node_base", !43, i64 0, !11, i64 8, !11, i64 16, !11, i64 24}
!43 = !{!"_ZTSSt14_Rb_tree_color", !12, i64 0}
!44 = !{!"_ZTSSt6vectorIiSaIiEE", !45, i64 0}
!45 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !46, i64 0}
!46 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !47, i64 0}
!47 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!48 = !{!"_ZTSSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE", !49, i64 0}
!49 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE", !50, i64 0}
!50 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE12_Vector_implE", !51, i64 0}
!51 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!52 = !{!"_ZTSSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE", !53, i64 0}
!53 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE", !54, i64 0}
!54 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE12_Vector_implE", !55, i64 0}
!55 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!56 = !{!"_ZTSSt6vectorISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !57, i64 0}
!57 = !{!"_ZTSSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !58, i64 0}
!58 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE12_Vector_implE", !59, i64 0}
!59 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!60 = !{!"_ZTSSt6vectorIhSaIhEE", !61, i64 0}
!61 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !62, i64 0}
!62 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !63, i64 0}
!63 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!64 = !{!"_ZTSSt6vectorIjSaIjEE", !65, i64 0}
!65 = !{!"_ZTSSt12_Vector_baseIjSaIjEE", !66, i64 0}
!66 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE12_Vector_implE", !67, i64 0}
!67 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!68 = !{!"_ZTS11HighsRandom", !35, i64 0}
!69 = !{!"int", !12, i64 0}
!70 = !{!"bool", !12, i64 0}
!71 = !{!12, !12, i64 0}
!72 = !{!73, !69, i64 0}
!73 = !{!"_ZTSN16HighsCliqueTable6CliqueE", !69, i64 0, !69, i64 4, !69, i64 8, !69, i64 12, !70, i64 16}
!74 = !{!73, !69, i64 4}
!75 = distinct !{!75, !76}
!76 = !{!"llvm.loop.mustprogress"}
!77 = distinct !{!77, !76}
!78 = !{!79, !69, i64 0}
!79 = !{!"_ZTSN16HighsCliqueTable12SubstitutionE", !69, i64 0, !80, i64 4}
!80 = !{!"_ZTSN16HighsCliqueTable9CliqueVarE", !69, i64 0, !69, i64 3}
!81 = !{!69, !69, i64 0}
!82 = !{!83, !11, i64 0}
!83 = !{!"_ZTSZN16HighsCliqueTable14processNewEdgeER11HighsDomainNS_9CliqueVarES2_E3$_0", !11, i64 0}


; Effective O3 passes: BDCEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass