; 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"

%"class.__gnu_cxx::__normal_iterator.57" = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%class.anon = type { ptr }
%"struct.HighsCliqueTable::CliqueVar" = type { i32 }
%class.anon.58 = type { ptr }
%class.anon.59 = type { ptr }
%"class.__gnu_cxx::__normal_iterator.60" = type { ptr }
%class.anon.61 = 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 i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4)) #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: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_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
define dso_local noundef i32 @_ZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS_9CliqueVarESaIS4_EE(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1, ptr noundef nonnull align 8 dereferenceable(24) %2) #3 align 2 {
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca i8, align 1
  %10 = alloca %"class.__gnu_cxx::__normal_iterator.57", align 8
  %11 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %12 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %13 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %14 = alloca %class.anon, align 8
  %15 = alloca %"class.__gnu_cxx::__normal_iterator.57", align 8
  %16 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %17 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %18 = alloca ptr, align 8
  %19 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %20 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %21 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %22 = alloca %class.anon.58, align 8
  %23 = alloca %class.anon.59, align 8
  %24 = alloca ptr, align 8
  %25 = alloca %"class.__gnu_cxx::__normal_iterator.60", align 8
  %26 = alloca %"class.__gnu_cxx::__normal_iterator.60", align 8
  %27 = alloca i32, align 4
  %28 = alloca i32, align 4
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca ptr, align 8
  %32 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %33 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %34 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %35 = alloca i8, align 1
  %36 = alloca i8, align 1
  %37 = alloca %"class.__gnu_cxx::__normal_iterator.57", align 8
  %38 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %39 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %40 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %41 = alloca %class.anon.61, align 8
  %42 = alloca %"class.__gnu_cxx::__normal_iterator.57", align 8
  %43 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %44 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  %45 = load ptr, ptr %5, align 8
  %46 = load ptr, ptr %7, align 8, !tbaa !5
  %47 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %46) #6
  %48 = icmp eq i64 %47, 2
  br i1 %48, label %49, label %50

49:                                               ; preds = %3
  store i32 0, ptr %4, align 4
  br label %276

50:                                               ; preds = %3
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #6
  store i32 0, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 1, ptr %9) #6
  store i8 0, ptr %9, align 1, !tbaa !11
  %51 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 15
  %52 = call noundef i64 @_ZNKSt6vectorIjSaIjEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #6
  %53 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 6
  %54 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %53) #6
  %55 = icmp ult i64 %52, %54
  br i1 %55, label %56, label %60

56:                                               ; preds = %50
  %57 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 15
  %58 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 6
  %59 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #6
  call void @_ZNSt6vectorIjSaIjEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %57, i64 noundef %59)
  br label %60

60:                                               ; preds = %56, %50
  %61 = load ptr, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #6
  %62 = load ptr, ptr %7, align 8, !tbaa !5
  %63 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %62) #6
  %64 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %12, i32 0, i32 0
  store ptr %63, ptr %64, align 8
  %65 = load ptr, ptr %7, align 8, !tbaa !5
  %66 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %65) #6
  %67 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %13, i32 0, i32 0
  store ptr %66, ptr %67, align 8
  %68 = getelementptr inbounds %class.anon, ptr %14, i32 0, i32 0
  store ptr %45, ptr %68, align 8, !tbaa !13
  %69 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %12, i32 0, i32 0
  %70 = load ptr, ptr %69, align 8
  %71 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %13, i32 0, i32 0
  %72 = load ptr, ptr %71, align 8
  %73 = getelementptr inbounds %class.anon, ptr %14, i32 0, i32 0
  %74 = load ptr, ptr %73, align 8
  %75 = call ptr @"_ZSt9remove_ifIN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS3_SaIS3_EEEEZNS2_20runCliqueSubsumptionERK11HighsDomainRS7_E3$_0ET_SE_SE_T0_"(ptr %70, ptr %72, ptr %74)
  %76 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %11, i32 0, i32 0
  store ptr %75, ptr %76, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %11) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #6
  %77 = load ptr, ptr %7, align 8, !tbaa !5
  %78 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %77) #6
  %79 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %16, i32 0, i32 0
  store ptr %78, ptr %79, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef nonnull align 8 dereferenceable(8) %16) #6
  %80 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.57", ptr %10, i32 0, i32 0
  %81 = load ptr, ptr %80, align 8
  %82 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.57", ptr %15, i32 0, i32 0
  %83 = load ptr, ptr %82, align 8
  %84 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EES8_(ptr noundef nonnull align 8 dereferenceable(24) %61, ptr %81, ptr %83)
  %85 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %17, i32 0, i32 0
  store ptr %84, ptr %85, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #6
  %86 = load ptr, ptr %7, align 8, !tbaa !5
  store ptr %86, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #6
  %87 = load ptr, ptr %18, align 8, !tbaa !5
  %88 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %87) #6
  %89 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %19, i32 0, i32 0
  store ptr %88, ptr %89, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #6
  %90 = load ptr, ptr %18, align 8, !tbaa !5
  %91 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %90) #6
  %92 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %20, i32 0, i32 0
  store ptr %91, ptr %92, align 8
  br label %93

93:                                               ; preds = %108, %60
  %94 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull align 8 dereferenceable(8) %20) #6
  br i1 %94, label %96, label %95

95:                                               ; preds = %93
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #6
  br label %110

96:                                               ; preds = %93
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #6
  %97 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #6
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %21, ptr align 4 %97, i64 4, i1 false), !tbaa.struct !15
  %98 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 1
  %99 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %21)
  %100 = sext i32 %99 to i64
  %101 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %98, i64 noundef %100) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #6
  %102 = getelementptr inbounds %class.anon.58, ptr %22, i32 0, i32 0
  store ptr %45, ptr %102, align 8, !tbaa !17
  call void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS2_9CliqueVarESaIS7_EEE3$_1EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %101, ptr noundef nonnull align 8 dereferenceable(8) %22)
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #6
  %103 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 2
  %104 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %21)
  %105 = sext i32 %104 to i64
  %106 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %103, i64 noundef %105) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #6
  %107 = getelementptr inbounds %class.anon.59, ptr %23, i32 0, i32 0
  store ptr %45, ptr %107, align 8, !tbaa !19
  call void @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS2_9CliqueVarESaIS7_EEE3$_2EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %106, ptr noundef nonnull align 8 dereferenceable(8) %23)
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #6
  br label %108

108:                                              ; preds = %96
  %109 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #6
  br label %93

110:                                              ; preds = %95
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #6
  %111 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 16
  store ptr %111, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #6
  %112 = load ptr, ptr %24, align 8, !tbaa !5
  %113 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %112) #6
  %114 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.60", ptr %25, i32 0, i32 0
  store ptr %113, ptr %114, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #6
  %115 = load ptr, ptr %24, align 8, !tbaa !5
  %116 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %115) #6
  %117 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.60", ptr %26, i32 0, i32 0
  store ptr %116, ptr %117, align 8
  br label %118

118:                                              ; preds = %236, %110
  %119 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull align 8 dereferenceable(8) %26) #6
  br i1 %119, label %121, label %120

120:                                              ; preds = %118
  store i32 4, ptr %27, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #6
  br label %238

121:                                              ; preds = %118
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #6
  %122 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #6
  %123 = load i32, ptr %122, align 4, !tbaa !9
  store i32 %123, ptr %28, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #6
  %124 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 15
  %125 = load i32, ptr %28, align 4, !tbaa !9
  %126 = sext i32 %125 to i64
  %127 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %124, i64 noundef %126) #6
  %128 = load i32, ptr %127, align 4, !tbaa !9
  store i32 %128, ptr %29, align 4, !tbaa !9
  %129 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 15
  %130 = load i32, ptr %28, align 4, !tbaa !9
  %131 = sext i32 %130 to i64
  %132 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %129, i64 noundef %131) #6
  store i32 0, ptr %132, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #6
  %133 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 6
  %134 = load i32, ptr %28, align 4, !tbaa !9
  %135 = sext i32 %134 to i64
  %136 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %133, i64 noundef %135) #6
  %137 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %136, i32 0, i32 1
  %138 = load i32, ptr %137, align 4, !tbaa !21
  %139 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 6
  %140 = load i32, ptr %28, align 4, !tbaa !9
  %141 = sext i32 %140 to i64
  %142 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %139, i64 noundef %141) #6
  %143 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %142, i32 0, i32 0
  %144 = load i32, ptr %143, align 4, !tbaa !23
  %145 = sub nsw i32 %138, %144
  %146 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 6
  %147 = load i32, ptr %28, align 4, !tbaa !9
  %148 = sext i32 %147 to i64
  %149 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %146, i64 noundef %148) #6
  %150 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %149, i32 0, i32 3
  %151 = load i32, ptr %150, align 4, !tbaa !24
  %152 = sub nsw i32 %145, %151
  store i32 %152, ptr %30, align 4, !tbaa !9
  %153 = load i32, ptr %29, align 4, !tbaa !9
  %154 = load ptr, ptr %7, align 8, !tbaa !5
  %155 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %154) #6
  %156 = trunc i64 %155 to i32
  %157 = icmp eq i32 %153, %156
  br i1 %157, label %158, label %159

158:                                              ; preds = %121
  store i8 1, ptr %9, align 1, !tbaa !11
  br label %235

159:                                              ; preds = %121
  %160 = load i32, ptr %30, align 4, !tbaa !9
  %161 = load i32, ptr %29, align 4, !tbaa !9
  %162 = icmp eq i32 %160, %161
  br i1 %162, label %163, label %234

163:                                              ; preds = %159
  %164 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 6
  %165 = load i32, ptr %28, align 4, !tbaa !9
  %166 = sext i32 %165 to i64
  %167 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %164, i64 noundef %166) #6
  %168 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %167, i32 0, i32 4
  %169 = load i8, ptr %168, align 4, !tbaa !25, !range !26, !noundef !27
  %170 = trunc i8 %169 to i1
  br i1 %170, label %171, label %224

171:                                              ; preds = %163
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #6
  %172 = load ptr, ptr %7, align 8, !tbaa !5
  store ptr %172, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #6
  %173 = load ptr, ptr %31, align 8, !tbaa !5
  %174 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %173) #6
  %175 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %32, i32 0, i32 0
  store ptr %174, ptr %175, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #6
  %176 = load ptr, ptr %31, align 8, !tbaa !5
  %177 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %176) #6
  %178 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %33, i32 0, i32 0
  store ptr %177, ptr %178, align 8
  br label %179

179:                                              ; preds = %221, %171
  %180 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %32, ptr noundef nonnull align 8 dereferenceable(8) %33) #6
  br i1 %180, label %182, label %181

181:                                              ; preds = %179
  store i32 6, ptr %27, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #6
  br label %223

182:                                              ; preds = %179
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #6
  %183 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %32) #6
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %34, ptr align 4 %183, i64 4, i1 false), !tbaa.struct !15
  call void @llvm.lifetime.start.p0(i64 1, ptr %35) #6
  %184 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 6
  %185 = load i32, ptr %28, align 4, !tbaa !9
  %186 = sext i32 %185 to i64
  %187 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %184, i64 noundef %186) #6
  %188 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %187, i32 0, i32 1
  %189 = load i32, ptr %188, align 4, !tbaa !21
  %190 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 6
  %191 = load i32, ptr %28, align 4, !tbaa !9
  %192 = sext i32 %191 to i64
  %193 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %190, i64 noundef %192) #6
  %194 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %193, i32 0, i32 0
  %195 = load i32, ptr %194, align 4, !tbaa !23
  %196 = sub nsw i32 %189, %195
  %197 = icmp eq i32 %196, 2
  %198 = zext i1 %197 to i8
  store i8 %198, ptr %35, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 1, ptr %36) #6
  %199 = load i8, ptr %35, align 1, !tbaa !11, !range !26, !noundef !27
  %200 = trunc i8 %199 to i1
  br i1 %200, label %201, label %207

201:                                              ; preds = %182
  %202 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 2
  %203 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %34)
  %204 = sext i32 %203 to i64
  %205 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %202, i64 noundef %204) #6
  %206 = call noundef zeroext i1 @_ZNK13HighsHashTreeIivE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8) %205, ptr noundef nonnull align 4 dereferenceable(4) %28)
  br label %213

207:                                              ; preds = %182
  %208 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 1
  %209 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %34)
  %210 = sext i32 %209 to i64
  %211 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %208, i64 noundef %210) #6
  %212 = call noundef zeroext i1 @_ZNK13HighsHashTreeIiiE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8) %211, ptr noundef nonnull align 4 dereferenceable(4) %28)
  br label %213

213:                                              ; preds = %207, %201
  %214 = phi i1 [ %206, %201 ], [ %212, %207 ]
  %215 = zext i1 %214 to i8
  store i8 %215, ptr %36, align 1, !tbaa !11
  %216 = load i8, ptr %36, align 1, !tbaa !11, !range !26, !noundef !27
  %217 = trunc i8 %216 to i1
  br i1 %217, label %220, label %218

218:                                              ; preds = %213
  %219 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 8
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %219, ptr noundef nonnull align 4 dereferenceable(4) %34)
  br label %220

220:                                              ; preds = %218, %213
  call void @llvm.lifetime.end.p0(i64 1, ptr %36) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %35) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #6
  br label %221

221:                                              ; preds = %220
  %222 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %32) #6
  br label %179

223:                                              ; preds = %181
  br label %233

224:                                              ; preds = %163
  %225 = load i32, ptr %8, align 4, !tbaa !9
  %226 = add nsw i32 %225, 1
  store i32 %226, ptr %8, align 4, !tbaa !9
  %227 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 6
  %228 = load i32, ptr %28, align 4, !tbaa !9
  %229 = sext i32 %228 to i64
  %230 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %227, i64 noundef %229) #6
  %231 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %230, i32 0, i32 2
  store i32 2147483647, ptr %231, align 4, !tbaa !28
  %232 = load i32, ptr %28, align 4, !tbaa !9
  call void @_ZN16HighsCliqueTable12removeCliqueEi(ptr noundef nonnull align 8 dereferenceable(488) %45, i32 noundef %232)
  br label %233

233:                                              ; preds = %224, %223
  br label %234

234:                                              ; preds = %233, %159
  br label %235

235:                                              ; preds = %234, %158
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #6
  br label %236

236:                                              ; preds = %235
  %237 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #6
  br label %118

238:                                              ; preds = %120
  %239 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 16
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %239) #6
  %240 = load i8, ptr %9, align 1, !tbaa !11, !range !26, !noundef !27
  %241 = trunc i8 %240 to i1
  br i1 %241, label %242, label %244

242:                                              ; preds = %238
  %243 = load ptr, ptr %7, align 8, !tbaa !5
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %243) #6
  br label %244

244:                                              ; preds = %242, %238
  %245 = getelementptr inbounds %class.HighsCliqueTable, ptr %45, i32 0, i32 8
  %246 = call noundef zeroext i1 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %245) #6
  br i1 %246, label %274, label %247

247:                                              ; preds = %244
  %248 = load ptr, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #6
  %249 = load ptr, ptr %7, align 8, !tbaa !5
  %250 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %249) #6
  %251 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %39, i32 0, i32 0
  store ptr %250, ptr %251, align 8
  %252 = load ptr, ptr %7, align 8, !tbaa !5
  %253 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %252) #6
  %254 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %40, i32 0, i32 0
  store ptr %253, ptr %254, align 8
  %255 = getelementptr inbounds %class.anon.61, ptr %41, i32 0, i32 0
  %256 = load ptr, ptr %6, align 8, !tbaa !5
  store ptr %256, ptr %255, align 8, !tbaa !5
  %257 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %39, i32 0, i32 0
  %258 = load ptr, ptr %257, align 8
  %259 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %40, i32 0, i32 0
  %260 = load ptr, ptr %259, align 8
  %261 = getelementptr inbounds %class.anon.61, ptr %41, i32 0, i32 0
  %262 = load ptr, ptr %261, align 8
  %263 = call ptr @"_ZSt9remove_ifIN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS3_SaIS3_EEEEZNS2_20runCliqueSubsumptionERK11HighsDomainRS7_E3$_3ET_SE_SE_T0_"(ptr %258, ptr %260, ptr %262)
  %264 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %38, i32 0, i32 0
  store ptr %263, ptr %264, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %37, ptr noundef nonnull align 8 dereferenceable(8) %38) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #6
  %265 = load ptr, ptr %7, align 8, !tbaa !5
  %266 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %265) #6
  %267 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %43, i32 0, i32 0
  store ptr %266, ptr %267, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef nonnull align 8 dereferenceable(8) %43) #6
  %268 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.57", ptr %37, i32 0, i32 0
  %269 = load ptr, ptr %268, align 8
  %270 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.57", ptr %42, i32 0, i32 0
  %271 = load ptr, ptr %270, align 8
  %272 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EES8_(ptr noundef nonnull align 8 dereferenceable(24) %248, ptr %269, ptr %271)
  %273 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %44, i32 0, i32 0
  store ptr %272, ptr %273, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #6
  br label %274

274:                                              ; preds = %247, %244
  %275 = load i32, ptr %8, align 4, !tbaa !9
  store i32 %275, ptr %4, align 4
  store i32 1, ptr %27, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  br label %276

276:                                              ; preds = %274, %49
  %277 = load i32, ptr %4, align 4
  ret i32 %277
}

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden ptr @"_ZSt9remove_ifIN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS3_SaIS3_EEEEZNS2_20runCliqueSubsumptionERK11HighsDomainRS7_E3$_0ET_SE_SE_T0_"(ptr, ptr, ptr) #4

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5

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

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS2_9CliqueVarESaIS7_EEE3$_1EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #3 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS2_9CliqueVarESaIS7_EEE3$_2EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #3 align 2

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #5

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK13HighsHashTreeIiiE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8), 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 noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) #1 align 2

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden ptr @"_ZSt9remove_ifIN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS3_SaIS3_EEEEZNS2_20runCliqueSubsumptionERK11HighsDomainRS7_E3$_3ET_SE_SE_T0_"(ptr, ptr, ptr) #4

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 = { inlinehint 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 #6 = { 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 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"bool", !7, i64 0}
!13 = !{!14, !6, i64 0}
!14 = !{!"_ZTSZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS_9CliqueVarESaIS4_EEE3$_0", !6, i64 0}
!15 = !{i64 0, i64 4, !16}
!16 = !{!7, !7, i64 0}
!17 = !{!18, !6, i64 0}
!18 = !{!"_ZTSZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS_9CliqueVarESaIS4_EEE3$_1", !6, i64 0}
!19 = !{!20, !6, i64 0}
!20 = !{!"_ZTSZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS_9CliqueVarESaIS4_EEE3$_2", !6, i64 0}
!21 = !{!22, !10, i64 4}
!22 = !{!"_ZTSN16HighsCliqueTable6CliqueE", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !12, i64 16}
!23 = !{!22, !10, i64 0}
!24 = !{!22, !10, i64 12}
!25 = !{!22, !12, i64 16}
!26 = !{i8 0, i8 2}
!27 = !{}
!28 = !{!22, !10, i64 8}


; 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"

%"class.__gnu_cxx::__normal_iterator.57" = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"struct.HighsCliqueTable::CliqueVar" = type { i32 }
%class.anon.58 = type { ptr }
%class.anon.59 = type { ptr }
%"class.__gnu_cxx::__normal_iterator.60" = 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 i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4)) 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 nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_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 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS_9CliqueVarESaIS4_EE(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1, ptr noundef nonnull align 8 dereferenceable(24) %2) local_unnamed_addr #2 align 2 {
  %4 = alloca %"class.__gnu_cxx::__normal_iterator.57", align 8
  %5 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %6 = alloca %"class.__gnu_cxx::__normal_iterator.57", align 8
  %7 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %8 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %9 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %10 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %11 = alloca %class.anon.58, align 8
  %12 = alloca %class.anon.59, align 8
  %13 = alloca %"class.__gnu_cxx::__normal_iterator.60", align 8
  %14 = alloca %"class.__gnu_cxx::__normal_iterator.60", align 8
  %15 = alloca i32, align 4
  %16 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %17 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %18 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %19 = alloca %"class.__gnu_cxx::__normal_iterator.57", align 8
  %20 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %21 = alloca %"class.__gnu_cxx::__normal_iterator.57", align 8
  %22 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %23 = tail call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %24 = icmp eq i64 %23, 2
  br i1 %24, label %152, label %25

25:                                               ; preds = %3
  %26 = getelementptr inbounds i8, ptr %0, i64 400
  %27 = tail call noundef i64 @_ZNKSt6vectorIjSaIjEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %26) #5
  %28 = getelementptr inbounds i8, ptr %0, i64 184
  %29 = tail call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %28) #5
  %30 = icmp ult i64 %27, %29
  br i1 %30, label %31, label %33

31:                                               ; preds = %25
  %32 = tail call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %28) #5
  tail call void @_ZNSt6vectorIjSaIjEE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %32)
  br label %33

33:                                               ; preds = %31, %25
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #5
  %34 = tail call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %35 = tail call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %36 = tail call ptr @"_ZSt9remove_ifIN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS3_SaIS3_EEEEZNS2_20runCliqueSubsumptionERK11HighsDomainRS7_E3$_0ET_SE_SE_T0_"(ptr %34, ptr %35, ptr nonnull %0)
  store ptr %36, ptr %5, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %5) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #5
  %37 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  store ptr %37, ptr %7, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %6, ptr noundef nonnull align 8 dereferenceable(8) %7) #5
  %38 = load ptr, ptr %4, align 8
  %39 = load ptr, ptr %6, align 8
  %40 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EES8_(ptr noundef nonnull align 8 dereferenceable(24) %2, ptr %38, ptr %39)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #5
  %41 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  store ptr %41, ptr %8, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #5
  %42 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  store ptr %42, ptr %9, align 8
  %43 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %9) #5
  br i1 %43, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %33
  %44 = getelementptr inbounds i8, ptr %0, i64 24
  %45 = getelementptr inbounds i8, ptr %0, i64 48
  br label %53

._crit_edge:                                      ; preds = %53, %33
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #5
  %46 = getelementptr inbounds i8, ptr %0, i64 424
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #5
  %47 = call ptr @_ZNSt6vectorIiSaIiEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %46) #5
  store ptr %47, ptr %13, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #5
  %48 = call ptr @_ZNSt6vectorIiSaIiEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %46) #5
  store ptr %48, ptr %14, align 8
  %49 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %13, ptr noundef nonnull align 8 dereferenceable(8) %14) #5
  br i1 %49, label %.lr.ph48, label %._crit_edge49.thread

._crit_edge49.thread:                             ; preds = %._crit_edge
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #5
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %46) #5
  br label %141

.lr.ph48:                                         ; preds = %._crit_edge
  %50 = getelementptr inbounds i8, ptr %0, i64 24
  %51 = getelementptr inbounds i8, ptr %0, i64 48
  %52 = getelementptr inbounds i8, ptr %0, i64 232
  br label %64

53:                                               ; preds = %.lr.ph, %53
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %10) #5
  %54 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %8) #5
  %55 = load i32, ptr %54, align 4, !tbaa !5
  store i32 %55, ptr %10, align 4, !tbaa !5
  %56 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %10)
  %57 = sext i32 %56 to i64
  %58 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %44, i64 noundef %57) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #5
  store ptr %0, ptr %11, align 8, !tbaa !8
  call void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS2_9CliqueVarESaIS7_EEE3$_1EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %58, ptr noundef nonnull align 8 dereferenceable(8) %11)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #5
  %59 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %10)
  %60 = sext i32 %59 to i64
  %61 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %45, i64 noundef %60) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #5
  store ptr %0, ptr %12, align 8, !tbaa !11
  call void @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS2_9CliqueVarESaIS7_EEE3$_2EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %61, ptr noundef nonnull align 8 dereferenceable(8) %12)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #5
  %62 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %8) #5
  %63 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %9) #5
  br i1 %63, label %53, label %._crit_edge

._crit_edge49:                                    ; preds = %137
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #5
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %46) #5
  br i1 %.138, label %140, label %141

64:                                               ; preds = %.lr.ph48, %137
  %.03646 = phi i32 [ 0, %.lr.ph48 ], [ %.1, %137 ]
  %.03745 = phi i1 [ false, %.lr.ph48 ], [ %.138, %137 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %15) #5
  %65 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #5
  %66 = load i32, ptr %65, align 4, !tbaa !13
  store i32 %66, ptr %15, align 4, !tbaa !13
  %67 = sext i32 %66 to i64
  %68 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %67) #5
  %69 = load i32, ptr %68, align 4, !tbaa !13
  %70 = load i32, ptr %15, align 4, !tbaa !13
  %71 = sext i32 %70 to i64
  %72 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %71) #5
  store i32 0, ptr %72, align 4, !tbaa !13
  %73 = load i32, ptr %15, align 4, !tbaa !13
  %74 = sext i32 %73 to i64
  %75 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %74) #5
  %76 = getelementptr inbounds i8, ptr %75, i64 4
  %77 = load i32, ptr %76, align 4, !tbaa !15
  %78 = load i32, ptr %15, align 4, !tbaa !13
  %79 = sext i32 %78 to i64
  %80 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %79) #5
  %81 = load i32, ptr %80, align 4, !tbaa !18
  %82 = load i32, ptr %15, align 4, !tbaa !13
  %83 = sext i32 %82 to i64
  %84 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %83) #5
  %85 = getelementptr inbounds i8, ptr %84, i64 12
  %86 = load i32, ptr %85, align 4, !tbaa !19
  %87 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %88 = trunc i64 %87 to i32
  %89 = icmp eq i32 %69, %88
  br i1 %89, label %137, label %90

90:                                               ; preds = %64
  %91 = add i32 %81, %86
  %92 = sub i32 %77, %91
  %93 = icmp eq i32 %92, %69
  br i1 %93, label %94, label %137

94:                                               ; preds = %90
  %95 = load i32, ptr %15, align 4, !tbaa !13
  %96 = sext i32 %95 to i64
  %97 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %96) #5
  %98 = getelementptr inbounds i8, ptr %97, i64 16
  %99 = load i8, ptr %98, align 4, !tbaa !20, !range !21, !noundef !22
  %100 = trunc nuw i8 %99 to i1
  br i1 %100, label %101, label %130

101:                                              ; preds = %94
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #5
  %102 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  store ptr %102, ptr %16, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #5
  %103 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  store ptr %103, ptr %17, align 8
  %104 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %17) #5
  br i1 %104, label %.lr.ph43, label %._crit_edge44

._crit_edge44:                                    ; preds = %127, %101
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #5
  br label %137

.lr.ph43:                                         ; preds = %101, %127
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %18) #5
  %105 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #5
  %106 = load i32, ptr %105, align 4, !tbaa !5
  store i32 %106, ptr %18, align 4, !tbaa !5
  %107 = load i32, ptr %15, align 4, !tbaa !13
  %108 = sext i32 %107 to i64
  %109 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %108) #5
  %110 = getelementptr inbounds i8, ptr %109, i64 4
  %111 = load i32, ptr %110, align 4, !tbaa !15
  %112 = load i32, ptr %15, align 4, !tbaa !13
  %113 = sext i32 %112 to i64
  %114 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %113) #5
  %115 = load i32, ptr %114, align 4, !tbaa !18
  %116 = sub nsw i32 %111, %115
  %117 = icmp eq i32 %116, 2
  %118 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %18)
  %119 = sext i32 %118 to i64
  br i1 %117, label %120, label %123

120:                                              ; preds = %.lr.ph43
  %121 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %119) #5
  %122 = call noundef zeroext i1 @_ZNK13HighsHashTreeIivE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8) %121, ptr noundef nonnull align 4 dereferenceable(4) %15)
  br i1 %122, label %127, label %126

123:                                              ; preds = %.lr.ph43
  %124 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %50, i64 noundef %119) #5
  %125 = call noundef zeroext i1 @_ZNK13HighsHashTreeIiiE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8) %124, ptr noundef nonnull align 4 dereferenceable(4) %15)
  br i1 %125, label %127, label %126

126:                                              ; preds = %120, %123
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %52, ptr noundef nonnull align 4 dereferenceable(4) %18)
  br label %127

127:                                              ; preds = %120, %126, %123
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %18) #5
  %128 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #5
  %129 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %17) #5
  br i1 %129, label %.lr.ph43, label %._crit_edge44

130:                                              ; preds = %94
  %131 = add nsw i32 %.03646, 1
  %132 = load i32, ptr %15, align 4, !tbaa !13
  %133 = sext i32 %132 to i64
  %134 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %133) #5
  %135 = getelementptr inbounds i8, ptr %134, i64 8
  store i32 2147483647, ptr %135, align 4, !tbaa !23
  %136 = load i32, ptr %15, align 4, !tbaa !13
  call void @_ZN16HighsCliqueTable12removeCliqueEi(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 noundef %136)
  br label %137

137:                                              ; preds = %64, %90, %130, %._crit_edge44
  %.138 = phi i1 [ %.03745, %._crit_edge44 ], [ %.03745, %130 ], [ %.03745, %90 ], [ true, %64 ]
  %.1 = phi i32 [ %.03646, %._crit_edge44 ], [ %131, %130 ], [ %.03646, %90 ], [ %.03646, %64 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #5
  %138 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #5
  %139 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %13, ptr noundef nonnull align 8 dereferenceable(8) %14) #5
  br i1 %139, label %64, label %._crit_edge49

140:                                              ; preds = %._crit_edge49
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  br label %141

141:                                              ; preds = %._crit_edge49.thread, %140, %._crit_edge49
  %.036.lcssa53 = phi i32 [ 0, %._crit_edge49.thread ], [ %.1, %140 ], [ %.1, %._crit_edge49 ]
  %142 = getelementptr inbounds i8, ptr %0, i64 232
  %143 = call noundef zeroext i1 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %142) #5
  br i1 %143, label %152, label %144

144:                                              ; preds = %141
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #5
  %145 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %146 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  %147 = call ptr @"_ZSt9remove_ifIN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS3_SaIS3_EEEEZNS2_20runCliqueSubsumptionERK11HighsDomainRS7_E3$_3ET_SE_SE_T0_"(ptr %145, ptr %146, ptr nonnull %1)
  store ptr %147, ptr %20, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull align 8 dereferenceable(8) %20) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #5
  %148 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #5
  store ptr %148, ptr %22, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %21, ptr noundef nonnull align 8 dereferenceable(8) %22) #5
  %149 = load ptr, ptr %19, align 8
  %150 = load ptr, ptr %21, align 8
  %151 = call ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EES8_(ptr noundef nonnull align 8 dereferenceable(24) %2, ptr %149, ptr %150)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #5
  br label %152

152:                                              ; preds = %141, %144, %3
  %.0 = phi i32 [ 0, %3 ], [ %.036.lcssa53, %144 ], [ %.036.lcssa53, %141 ]
  ret i32 %.0
}

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden ptr @"_ZSt9remove_ifIN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS3_SaIS3_EEEEZNS2_20runCliqueSubsumptionERK11HighsDomainRS7_E3$_0ET_SE_SE_T0_"(ptr, ptr, ptr) local_unnamed_addr #3

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPN16HighsCliqueTable9CliqueVarESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4

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

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS2_9CliqueVarESaIS7_EEE3$_1EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS2_9CliqueVarESaIS7_EEE3$_2EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPiSt6vectorIiSaIiEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK13HighsHashTreeIiiE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8), 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 noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPiSt6vectorIiSaIiEEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1 align 2

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden ptr @"_ZSt9remove_ifIN9__gnu_cxx17__normal_iteratorIPN16HighsCliqueTable9CliqueVarESt6vectorIS3_SaIS3_EEEEZNS2_20runCliqueSubsumptionERK11HighsDomainRS7_E3$_3ET_SE_SE_T0_"(ptr, ptr, ptr) local_unnamed_addr #3

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 = { inlinehint 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 #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 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C++ TBAA"}
!8 = !{!9, !10, i64 0}
!9 = !{!"_ZTSZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS_9CliqueVarESaIS4_EEE3$_1", !10, i64 0}
!10 = !{!"any pointer", !6, i64 0}
!11 = !{!12, !10, i64 0}
!12 = !{!"_ZTSZN16HighsCliqueTable20runCliqueSubsumptionERK11HighsDomainRSt6vectorINS_9CliqueVarESaIS4_EEE3$_2", !10, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"int", !6, i64 0}
!15 = !{!16, !14, i64 4}
!16 = !{!"_ZTSN16HighsCliqueTable6CliqueE", !14, i64 0, !14, i64 4, !14, i64 8, !14, i64 12, !17, i64 16}
!17 = !{!"bool", !6, i64 0}
!18 = !{!16, !14, i64 0}
!19 = !{!16, !14, i64 12}
!20 = !{!16, !17, i64 16}
!21 = !{i8 0, i8 2}
!22 = !{}
!23 = !{!16, !14, i64 8}


; Effective O3 passes: AggressiveInstCombinePass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass