; LLVM IR from ERGO-Code/HiGHS :: src/mip/HighsImplications.ll (ZN17HighsImplications19computeImplicationsEib)

; 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.HighsDomain::Reason" = type { i32, i32 }
%class.anon = type { ptr, ptr }
%class.anon.347 = type { ptr }
%class.anon.348 = type { ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.73" = type { %"struct.std::_Vector_base.74" }
%"struct.std::_Vector_base.74" = type { %"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%class.anon.349 = type { ptr }
%"struct.std::array" = type { [2 x %"struct.HighsCliqueTable::CliqueVar"] }
%"struct.HighsCliqueTable::CliqueVar" = type { i32 }
%"class.__gnu_cxx::__normal_iterator.350" = type { ptr }
%class.HighsImplications = type { i32, %"class.std::vector", i64, %"class.std::vector.3", %"class.std::vector.3", ptr, %"class.std::vector.8", %"class.std::vector.13", %"class.std::function" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsImplications::Implics, std::allocator<HighsImplications::Implics>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsHashTree<int, HighsImplications::VarBound>, std::allocator<HighsHashTree<int, HighsImplications::VarBound>>>::_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<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsSubstitution, std::allocator<HighsSubstitution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.13" = type { %"struct.std::_Vector_base.14" }
%"struct.std::_Vector_base.14" = 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::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.HighsMipSolver = type { ptr, ptr, ptr, ptr, i32, %"class.std::vector.18", double, double, double, double, double, double, double, i64, i64, double, ptr, %"class.std::vector.23", i8, i32, i32, ptr, ptr, ptr, ptr, %"class.std::unique_ptr", %class.HighsMipAnalysis, %class.HighsTimer }
%"class.std::vector.18" = type { %"struct.std::_Vector_base.19" }
%"struct.std::_Vector_base.19" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.23" = type { %"struct.std::_Vector_base.24" }
%"struct.std::_Vector_base.24" = type { %"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsObjectiveSolution, std::allocator<HighsObjectiveSolution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"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.29" }
%"struct.std::_Head_base.29" = type { ptr }
%class.HighsMipAnalysis = type { ptr, %"class.std::__cxx11::basic_string", %struct.HighsTimerClock, i8, %"class.std::vector.18", %"class.std::vector.18" }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%struct.HighsTimerClock = type { ptr, %"class.std::vector.30" }
%"class.std::vector.30" = type { %"struct.std::_Vector_base.31" }
%"struct.std::_Vector_base.31" = 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.HighsTimer = type <{ ptr, double, i32, [4 x i8], %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.35", i32, i32, i32, [4 x i8] }>
%"class.std::vector.35" = type { %"struct.std::_Vector_base.36" }
%"struct.std::_Vector_base.36" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsMipSolverData = type <{ ptr, %class.HighsCutPool, %class.HighsConflictPool, %class.HighsDomain, %class.HighsLpRelaxation, %class.HighsPseudocost, %class.HighsCliqueTable, %class.HighsImplications, %class.HighsPrimalHeuristics, %class.HighsRedcostFixing, %class.HighsObjectiveFunction, %"class.presolve::HighsPostsolveStack", i32, [4 x i8], %class.HighsLp, i8, i8, i8, i8, i32, i8, [3 x i8], i32, i32, i32, i32, [4 x i8], %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.13", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %struct.HighsSymmetries, %"class.std::shared_ptr.318", double, double, double, i64, %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", double, %struct.HighsBasis, double, i32, i32, %class.HighsCDouble, double, double, double, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i64, i32, [4 x i8], double, double, double, double, %"class.std::vector.18", %class.HighsNodeQueue, %struct.HighsPrimaDualIntegral, [8 x i8] }>
%class.HighsCutPool = type { %class.HighsDynamicRowMatrix, %"class.std::vector.18", %"class.std::vector.48", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.13", %"class.std::unordered_multimap", %"class.std::vector.58", %"class.std::set", double, double, double, i32, i32, i32, i32, i32, %"class.std::vector.30", %"class.std::vector.63" }
%class.HighsDynamicRowMatrix = type { %"class.std::vector.40", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.13", %"class.std::set", %"class.std::vector.30" }
%"class.std::vector.40" = type { %"struct.std::_Vector_base.41" }
%"struct.std::_Vector_base.41" = type { %"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, int>, std::allocator<std::pair<int, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.48" = type { %"struct.std::_Vector_base.49" }
%"struct.std::_Vector_base.49" = type { %"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl" }
%"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl" = type { %"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl_data" }
%"struct.std::_Vector_base<short, std::allocator<short>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unordered_multimap" = type { %"class.std::_Hashtable" }
%"class.std::_Hashtable" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"struct.std::__detail::_Hash_node_base" = type { ptr }
%"struct.std::__detail::_Prime_rehash_policy" = type { float, i64 }
%"class.std::vector.58" = type { %"struct.std::_Vector_base.59" }
%"struct.std::_Vector_base.59" = type { %"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::CutpoolPropagation *, std::allocator<HighsDomain::CutpoolPropagation *>>::_Vector_impl_data" = type { ptr, ptr, 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.63" = type { %"struct.std::_Vector_base.64" }
%"struct.std::_Vector_base.64" = type { %"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, double>, std::allocator<std::pair<int, double>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsConflictPool = type { i32, i32, %"class.std::vector.30", %"class.std::vector.48", %"class.std::vector.68", %"class.std::vector.73", %"class.std::vector.40", %"class.std::set", %"class.std::vector.30", %"class.std::vector.78" }
%"class.std::vector.68" = type { %"struct.std::_Vector_base.69" }
%"struct.std::_Vector_base.69" = 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.78" = type { %"struct.std::_Vector_base.79" }
%"struct.std::_Vector_base.79" = type { %"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::ConflictPoolPropagation *, std::allocator<HighsDomain::ConflictPoolPropagation *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsDomain = type { %"class.std::vector.13", %"class.std::vector.30", %"class.std::vector.40", %"class.std::vector.73", %"class.std::vector.83", %"class.std::vector.88", %"class.std::vector.93", %"class.std::vector.93", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.13", %"class.std::vector.30", %"struct.HighsDomain::ObjectivePropagation", ptr, %"class.std::deque", %"class.std::deque.111", i8, %"struct.HighsDomain::Reason", i32, %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %class.HighsHashTable, i8, %"class.std::vector.18", %"class.std::vector.18" }
%"class.std::vector.83" = type { %"struct.std::_Vector_base.84" }
%"struct.std::_Vector_base.84" = type { %"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::Reason, std::allocator<HighsDomain::Reason>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.88" = type { %"struct.std::_Vector_base.89" }
%"struct.std::_Vector_base.89" = type { %"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<double, int>, std::allocator<std::pair<double, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.93" = type { %"struct.std::_Vector_base.94" }
%"struct.std::_Vector_base.94" = type { %"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCDouble, std::allocator<HighsCDouble>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HighsDomain::ObjectivePropagation" = type { ptr, ptr, ptr, %class.HighsCDouble, i32, double, i8, %"class.std::vector.98", %"class.std::vector.40", %"class.std::vector.18", %"class.std::vector.103" }
%"class.std::vector.98" = type { %"struct.std::_Vector_base.99" }
%"struct.std::_Vector_base.99" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::ObjectiveContribution, std::allocator<HighsDomain::ObjectivePropagation::ObjectiveContribution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.103" = type { %"struct.std::_Vector_base.104" }
%"struct.std::_Vector_base.104" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomain::ObjectivePropagation::PartitionCliqueData, std::allocator<HighsDomain::ObjectivePropagation::PartitionCliqueData>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::deque" = type { %"class.std::_Deque_base" }
%"class.std::_Deque_base" = type { %"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl" }
%"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl" = type { %"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl_data" }
%"struct.std::_Deque_base<HighsDomain::CutpoolPropagation, std::allocator<HighsDomain::CutpoolPropagation>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator", %"struct.std::_Deque_iterator" }
%"struct.std::_Deque_iterator" = type { ptr, ptr, ptr, ptr }
%"class.std::deque.111" = type { %"class.std::_Deque_base.112" }
%"class.std::_Deque_base.112" = type { %"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl" }
%"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl" = type { %"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl_data" }
%"struct.std::_Deque_base<HighsDomain::ConflictPoolPropagation, std::allocator<HighsDomain::ConflictPoolPropagation>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator.116", %"struct.std::_Deque_iterator.116" }
%"struct.std::_Deque_iterator.116" = type { ptr, ptr, ptr, ptr }
%class.HighsHashTable = type { %"class.std::unique_ptr.117", %"class.std::unique_ptr.125", i64, i64, i64 }
%"class.std::unique_ptr.117" = type { %"struct.std::__uniq_ptr_data.118" }
%"struct.std::__uniq_ptr_data.118" = type { %"class.std::__uniq_ptr_impl.119" }
%"class.std::__uniq_ptr_impl.119" = type { %"class.std::tuple.120" }
%"class.std::tuple.120" = type { %"struct.std::_Tuple_impl.121" }
%"struct.std::_Tuple_impl.121" = type { %"struct.std::_Head_base.124" }
%"struct.std::_Head_base.124" = type { ptr }
%"class.std::unique_ptr.125" = type { %"struct.std::__uniq_ptr_data.126" }
%"struct.std::__uniq_ptr_data.126" = type { %"class.std::__uniq_ptr_impl.127" }
%"class.std::__uniq_ptr_impl.127" = type { %"class.std::tuple.128" }
%"class.std::tuple.128" = type { %"struct.std::_Tuple_impl.129" }
%"struct.std::_Tuple_impl.129" = type { %"struct.std::_Head_base.132" }
%"struct.std::_Head_base.132" = type { ptr }
%class.HighsLpRelaxation = type <{ ptr, %class.Highs, %"class.std::vector.255", %"class.std::vector.63", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %class.HVectorBase, %class.HighsSparseVectorSum, double, i8, [7 x i8], double, %"class.std::shared_ptr", i8, [7 x i8], i64, i64, double, i64, i64, i32, i32, i8, [7 x i8] }>
%class.Highs = type { ptr, %struct.HighsSolution, %struct.HighsBasis, %struct.ICrashInfo, %class.HighsModel, %"class.std::vector.167", %class.HighsModel, %class.HighsTimer, %struct.HighsCallback, %class.HighsOptions, %class.HighsInfo, %struct.HighsRanging, %class.HighsIis, %"class.std::vector.23", i32, i32, i8, double, %"class.std::vector.18", %"class.std::vector.18", %class.HighsSparseMatrix, %class.HEkk, %struct.HighsPresolveLog, i32, i8, i32, i8, %class.PresolveComponent }
%struct.HighsSolution = type { i8, i8, %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18" }
%struct.ICrashInfo = type { i32, double, double, double, double, double, %"class.std::vector.138", %"class.std::vector.18", double }
%"class.std::vector.138" = type { %"struct.std::_Vector_base.139" }
%"struct.std::_Vector_base.139" = type { %"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl" }
%"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl" = type { %"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl_data" }
%"struct.std::_Vector_base<ICrashIterationDetails, std::allocator<ICrashIterationDetails>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.167" = type { %"struct.std::_Vector_base.168" }
%"struct.std::_Vector_base.168" = type { %"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsLinearObjective, std::allocator<HighsLinearObjective>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsModel = type { %class.HighsLp, %class.HighsHessian }
%class.HighsHessian = type { i32, i32, %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18" }
%struct.HighsCallback = type { %"class.std::function.172", ptr, ptr, %"class.std::vector.174", %struct.HighsCallbackDataOut, %struct.HighsCallbackDataIn }
%"class.std::function.172" = type { %"class.std::_Function_base", ptr }
%"class.std::vector.174" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>
%struct.HighsCallbackDataOut = type { i32, double, i32, i32, i32, double, i64, i64, double, double, double, ptr, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32 }
%struct.HighsCallbackDataIn = type { i32, ptr }
%class.HighsOptions = type <{ %struct.HighsOptionsStruct, %"class.std::vector.178", i32, [4 x i8] }>
%struct.HighsOptionsStruct = type { ptr, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, %"class.std::__cxx11::basic_string", double, double, double, double, double, double, double, double, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i8, i8, i32, i32, double, i32, i32, i32, i8, i32, i8, i8, i8, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8, i8, i8, i8, double, double, double, double, double, double, double, double, double, double, double, i8, i8, i8, i8, i32, double, i8, i8, %"class.std::__cxx11::basic_string", double, i32, i32, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, double, i8, i8, %"class.std::__cxx11::basic_string", i8, i32, %struct.HighsLogOptions }
%struct.HighsLogOptions = type <{ ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::function.172", ptr, i8, [7 x i8] }>
%"class.std::vector.178" = type { %"struct.std::_Vector_base.179" }
%"struct.std::_Vector_base.179" = type { %"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl" }
%"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl" = type { %"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<OptionRecord *, std::allocator<OptionRecord *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsInfo = type { ptr, %struct.HighsInfoStruct, %"class.std::vector.183" }
%struct.HighsInfoStruct = type { i8, i64, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, i32, double, double, i32, double, double, double, double, double }
%"class.std::vector.183" = type { %"struct.std::_Vector_base.184" }
%"struct.std::_Vector_base.184" = type { %"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl" }
%"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl" = type { %"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<InfoRecord *, std::allocator<InfoRecord *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsRanging = type { i8, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord, %struct.HighsRangingRecord }
%struct.HighsRangingRecord = type { %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30" }
%class.HighsIis = type { i8, i32, %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.188" }
%"class.std::vector.188" = type { %"struct.std::_Vector_base.189" }
%"struct.std::_Vector_base.189" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsIisInfo, std::allocator<HighsIisInfo>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsSparseMatrix = type { i32, i32, i32, %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18" }
%class.HEkk = type { ptr, ptr, ptr, %class.HighsSimplexAnalysis, %class.HighsLp, %"class.std::__cxx11::basic_string", %struct.HighsSimplexStatus, [3 x i8], %struct.HighsSimplexInfo, i32, %struct.SimplexBasis, %class.HighsHashTable.216, %class.HighsRandom, %"class.std::vector.18", %"class.std::vector.18", i8, %class.HighsSparseMatrix, %class.HighsSparseMatrix, %class.HSimplexNla, %struct.HotStart, double, double, double, i32, i32, i32, i32, i8, i8, i32, i32, i32, %"class.std::vector.30", %"class.std::vector.18", %struct.HighsRayRecord, %struct.HighsRayRecord, i32, i32, i32, double, %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", double, double, double, i32, i32, i8, i32, i8, i8, i8, i8, double, %"class.std::vector.235", %"class.std::vector.18", %struct.HighsSimplexStats }
%class.HighsSimplexAnalysis = type { ptr, %"class.std::vector.193", %"class.std::vector.193", ptr, i32, i32, i32, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %struct.HighsLogOptions, i8, i8, i8, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, %"class.std::__cxx11::basic_string", double, double, double, double, double, double, double, double, double, double, double, double, i32, i32, double, double, i32, double, double, i32, double, double, double, double, double, double, double, double, double, double, i32, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, [4 x i8], %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, i32, i32, i32, i32, double, double, i32, i32, i32, i32, i32, double, double, i32, double, double, i32, i32, double, double, %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.198", %"class.std::unique_ptr.203", i32, i32, i32, i32, double, double, double, double, double, double, double, double, double, double, i32, i32, double, double, double, i8, double, double, i32, i32, i32, i32, i32, double, double, double, double, double, double, double, double, double, i32, i32, [10 x %"struct.HighsSimplexAnalysis::AnIterOpRec"], i32, i32, [22 x %"struct.HighsSimplexAnalysis::AnIterTraceRec"], [12 x i32], [3 x i32], [4 x i8], %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution, %struct.HighsValueDistribution }
%"class.std::vector.193" = type { %"struct.std::_Vector_base.194" }
%"struct.std::_Vector_base.194" = type { %"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsTimerClock, std::allocator<HighsTimerClock>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.198" = type { %"struct.std::_Vector_base.199" }
%"struct.std::_Vector_base.199" = type { %"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_Vector_impl" }
%"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_Vector_impl" = type { %"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_Vector_impl_data" }
%"struct.std::_Vector_base<TranStageAnalysis, std::allocator<TranStageAnalysis>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unique_ptr.203" = type { %"struct.std::__uniq_ptr_data.204" }
%"struct.std::__uniq_ptr_data.204" = type { %"class.std::__uniq_ptr_impl.205" }
%"class.std::__uniq_ptr_impl.205" = type { %"class.std::tuple.206" }
%"class.std::tuple.206" = type { %"struct.std::_Tuple_impl.207" }
%"struct.std::_Tuple_impl.207" = type { %"struct.std::_Head_base.210" }
%"struct.std::_Head_base.210" = type { ptr }
%"struct.HighsSimplexAnalysis::AnIterOpRec" = type { double, double, i32, i32, i32, i32, double, i32, %"class.std::__cxx11::basic_string", %struct.HighsValueDistribution }
%"struct.HighsSimplexAnalysis::AnIterTraceRec" = type { double, double, [10 x double], double, i32, i32, i32 }
%struct.HighsValueDistribution = type <{ %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, i32, i32, [4 x i8], double, double, %"class.std::vector.18", %"class.std::vector.30", i32, [4 x i8] }>
%struct.HighsSimplexStatus = type { i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8 }
%struct.HighsSimplexInfo = type <{ %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", i32, i32, i8, i8, [6 x i8], %struct.SimplexBasis, i32, i32, i32, [4 x i8], %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", i32, i32, i32, i32, double, double, double, double, i32, i32, double, double, double, double, double, double, double, double, double, double, i8, [7 x i8], double, double, i32, [4 x i8], double, double, double, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i32, [4 x i8], double, double, i32, [4 x i8], double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, i32, [4 x i8] }>
%struct.SimplexBasis = type { %"class.std::vector.30", %"class.std::vector.211", %"class.std::vector.211", i64, i32, i32, %"class.std::__cxx11::basic_string" }
%"class.std::vector.211" = type { %"struct.std::_Vector_base.212" }
%"struct.std::_Vector_base.212" = type { %"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl" }
%"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl" = type { %"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<signed char, std::allocator<signed char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsHashTable.216 = type { %"class.std::unique_ptr.217", %"class.std::unique_ptr.125", i64, i64, i64 }
%"class.std::unique_ptr.217" = type { %"struct.std::__uniq_ptr_data.218" }
%"struct.std::__uniq_ptr_data.218" = type { %"class.std::__uniq_ptr_impl.219" }
%"class.std::__uniq_ptr_impl.219" = type { %"class.std::tuple.220" }
%"class.std::tuple.220" = type { %"struct.std::_Tuple_impl.221" }
%"struct.std::_Tuple_impl.221" = type { %"struct.std::_Head_base.224" }
%"struct.std::_Head_base.224" = type { ptr }
%class.HighsRandom = type { i64 }
%class.HSimplexNla = type { ptr, ptr, ptr, ptr, ptr, ptr, %class.HFactor, i8, double, %struct.ProductFormUpdate, %struct.SimplexIterate }
%class.HFactor = type { double, double, i32, %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %struct.RefactorInfo, i32, i32, i32, i32, i32, i32, i32, double, i8, ptr, ptr, ptr, ptr, double, double, i32, double, %"class.std::unique_ptr.225", %struct.HighsLogOptions, i8, i8, i32, i32, ptr, i32, %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.233", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", i32, i32, %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %class.HVectorBase }
%struct.RefactorInfo = type { i8, %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.211", double }
%"class.std::unique_ptr.225" = type { %"struct.std::__uniq_ptr_data.226" }
%"struct.std::__uniq_ptr_data.226" = type { %"class.std::__uniq_ptr_impl.227" }
%"class.std::__uniq_ptr_impl.227" = type { %"class.std::tuple.228" }
%"class.std::tuple.228" = type { %"struct.std::_Tuple_impl.229" }
%"struct.std::_Tuple_impl.229" = type { %"struct.std::_Head_base.232" }
%"struct.std::_Head_base.232" = type { ptr }
%"class.std::vector.233" = type { %"struct.std::_Vector_base.234" }
%"struct.std::_Vector_base.234" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.ProductFormUpdate = type { i8, i32, i32, %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18" }
%struct.SimplexIterate = type { i8, %struct.SimplexBasis, %struct.InvertibleRepresentation, %"class.std::vector.18" }
%struct.InvertibleRepresentation = type { %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.18" }
%struct.HotStart = type { i8, %struct.RefactorInfo, %"class.std::vector.211" }
%struct.HighsRayRecord = type { i32, i32, %"class.std::vector.18" }
%"class.std::vector.235" = type { %"struct.std::_Vector_base.236" }
%"struct.std::_Vector_base.236" = type { %"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsSimplexBadBasisChangeRecord, std::allocator<HighsSimplexBadBasisChangeRecord>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsSimplexStats = type { i8, i32, i32, i32, i32, double, double, double, double }
%struct.HighsPresolveLog = type { %"class.std::vector.240" }
%"class.std::vector.240" = type { %"struct.std::_Vector_base.241" }
%"struct.std::_Vector_base.241" = type { %"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsPresolveRuleLog, std::allocator<HighsPresolveRuleLog>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.PresolveComponent = type { %class.HighsComponent.base, %struct.PresolveComponentInfo, %struct.PresolveComponentData, ptr, ptr, i32, i32 }
%class.HighsComponent.base = type <{ ptr, %struct.HighsComponentInfo, %struct.HighsComponentData, %struct.HighsComponentOptions }>
%struct.HighsComponentInfo = type { i8 }
%struct.HighsComponentData = type { i8 }
%struct.HighsComponentOptions = type { i8 }
%struct.PresolveComponentInfo = type { ptr, %struct.HighsComponentInfo, i32, i32, i32, double, double }
%struct.PresolveComponentData = type { ptr, %struct.HighsComponentData, %class.HighsLp, %"class.presolve::HighsPostsolveStack", %struct.HighsSolution, %struct.HighsBasis, %struct.HighsPresolveLog }
%"class.std::vector.255" = type { %"struct.std::_Vector_base.256" }
%"struct.std::_Vector_base.256" = type { %"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsLpRelaxation::LpRow, std::allocator<HighsLpRelaxation::LpRow>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HVectorBase = type { i32, i32, %"class.std::vector.30", %"class.std::vector.18", double, %"class.std::vector.233", %"class.std::vector.30", ptr, i8, i32, %"class.std::vector.30", %"class.std::vector.18" }
%class.HighsSparseVectorSum = type { %"class.std::vector.93", %"class.std::vector.30" }
%"class.std::shared_ptr" = type { %"class.std::__shared_ptr" }
%"class.std::__shared_ptr" = type { ptr, %"class.std::__shared_count" }
%"class.std::__shared_count" = type { ptr }
%class.HighsPseudocost = type { %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.18", double, double, double, double, i64, i64, i64, i32, double }
%class.HighsCliqueTable = type { %"class.std::vector.260", %"class.std::vector.265", %"class.std::vector.270", %class.HighsHashTable.275, %"class.std::set", %"class.std::vector.30", %"class.std::vector.284", %"class.std::vector.30", %"class.std::vector.260", %"class.std::vector.30", %"class.std::vector.289", %"class.std::vector.30", %"class.std::vector.294", %"class.std::vector.13", %"class.std::vector.13", %"class.std::vector.68", %"class.std::vector.30", %class.HighsRandom, i32, i32, i32, i32, i8, i64 }
%"class.std::vector.265" = type { %"struct.std::_Vector_base.266" }
%"struct.std::_Vector_base.266" = 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.270" = type { %"struct.std::_Vector_base.271" }
%"struct.std::_Vector_base.271" = 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.275 = type { %"class.std::unique_ptr.276", %"class.std::unique_ptr.125", i64, i64, i64 }
%"class.std::unique_ptr.276" = type { %"struct.std::__uniq_ptr_data.277" }
%"struct.std::__uniq_ptr_data.277" = type { %"class.std::__uniq_ptr_impl.278" }
%"class.std::__uniq_ptr_impl.278" = type { %"class.std::tuple.279" }
%"class.std::tuple.279" = type { %"struct.std::_Tuple_impl.280" }
%"struct.std::_Tuple_impl.280" = type { %"struct.std::_Head_base.283" }
%"struct.std::_Head_base.283" = type { ptr }
%"class.std::vector.284" = type { %"struct.std::_Vector_base.285" }
%"struct.std::_Vector_base.285" = 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.260" = type { %"struct.std::_Vector_base.261" }
%"struct.std::_Vector_base.261" = 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.289" = type { %"struct.std::_Vector_base.290" }
%"struct.std::_Vector_base.290" = 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.294" = type { %"struct.std::_Vector_base.295" }
%"struct.std::_Vector_base.295" = 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.HighsPrimalHeuristics = type { ptr, i64, i64, i64, i64, double, i32, double, i32, %class.HighsRandom, %"class.std::vector.30" }
%class.HighsRedcostFixing = type { %"class.std::vector.299", %"class.std::vector.299" }
%"class.std::vector.299" = type { %"struct.std::_Vector_base.300" }
%"struct.std::_Vector_base.300" = type { %"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::multimap<double, int>, std::allocator<std::multimap<double, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsObjectiveFunction = type { ptr, double, i32, i32, %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.30" }
%"class.presolve::HighsPostsolveStack" = type { i64, double, double, double, double, %class.HighsDataStack, %"class.std::vector.245", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.13", %"class.std::vector.250", %"class.std::vector.250", i32, i32 }
%class.HighsDataStack = type { %"class.std::vector.233", i64 }
%"class.std::vector.245" = type { %"struct.std::_Vector_base.246" }
%"struct.std::_Vector_base.246" = type { %"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>, std::allocator<std::pair<presolve::HighsPostsolveStack::ReductionType, unsigned long>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.250" = type { %"struct.std::_Vector_base.251" }
%"struct.std::_Vector_base.251" = type { %"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl" }
%"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl" = type { %"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl_data" }
%"struct.std::_Vector_base<presolve::HighsPostsolveStack::Nonzero, std::allocator<presolve::HighsPostsolveStack::Nonzero>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsLp = type { i32, i32, %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18", %class.HighsSparseMatrix, i32, double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, i32, %"class.std::vector.35", %"class.std::vector.35", %"class.std::vector.143", %struct.HighsNameHash, %struct.HighsNameHash, i32, i32, %struct.HighsScale, i8, i8, i32, i8, %struct.HighsLpMods }
%"class.std::vector.143" = type { %"struct.std::_Vector_base.144" }
%"struct.std::_Vector_base.144" = type { %"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsVarType, std::allocator<HighsVarType>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsNameHash = type { %"class.std::unordered_map" }
%"class.std::unordered_map" = type { %"class.std::_Hashtable.148" }
%"class.std::_Hashtable.148" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%struct.HighsScale = type { i32, i8, i32, i32, double, %"class.std::vector.18", %"class.std::vector.18" }
%struct.HighsLpMods = type { %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.143", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.30", %"class.std::vector.18", %"class.std::vector.18", %"class.std::vector.18" }
%struct.HighsSymmetries = type { %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.30", %"class.std::vector.304", %class.HighsHashTable.309, i32, i32 }
%"class.std::vector.304" = type { %"struct.std::_Vector_base.305" }
%"struct.std::_Vector_base.305" = type { %"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsOrbitopeMatrix, std::allocator<HighsOrbitopeMatrix>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsHashTable.309 = type { %"class.std::unique_ptr.310", %"class.std::unique_ptr.125", i64, i64, i64 }
%"class.std::unique_ptr.310" = type { %"struct.std::__uniq_ptr_data.311" }
%"struct.std::__uniq_ptr_data.311" = type { %"class.std::__uniq_ptr_impl.312" }
%"class.std::__uniq_ptr_impl.312" = type { %"class.std::tuple.313" }
%"class.std::tuple.313" = type { %"struct.std::_Tuple_impl.314" }
%"struct.std::_Tuple_impl.314" = type { %"struct.std::_Head_base.317" }
%"struct.std::_Head_base.317" = type { ptr }
%"class.std::shared_ptr.318" = type { %"class.std::__shared_ptr.319" }
%"class.std::__shared_ptr.319" = type { ptr, %"class.std::__shared_count" }
%struct.HighsBasis = type { i8, i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", %"class.std::vector.133", %"class.std::vector.133" }
%"class.std::vector.133" = type { %"struct.std::_Vector_base.134" }
%"struct.std::_Vector_base.134" = type { %"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsBasisStatus, std::allocator<HighsBasisStatus>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsCDouble = type { double, double }
%class.HighsNodeQueue = type <{ %"class.std::unique_ptr.321", %"class.std::vector.329", %"class.std::priority_queue", %"class.std::unique_ptr.339", %"class.std::unique_ptr.339", i64, i64, i64, i64, i64, i64, i64, double, i32, [4 x i8] }>
%"class.std::unique_ptr.321" = type { %"struct.std::__uniq_ptr_data.322" }
%"struct.std::__uniq_ptr_data.322" = type { %"class.std::__uniq_ptr_impl.323" }
%"class.std::__uniq_ptr_impl.323" = type { %"class.std::tuple.324" }
%"class.std::tuple.324" = type { %"struct.std::_Tuple_impl.325" }
%"struct.std::_Tuple_impl.325" = type { %"struct.std::_Head_base.328" }
%"struct.std::_Head_base.328" = type { ptr }
%"class.std::vector.329" = type { %"struct.std::_Vector_base.330" }
%"struct.std::_Vector_base.330" = type { %"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsNodeQueue::OpenNode, std::allocator<HighsNodeQueue::OpenNode>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::priority_queue" = type <{ %"class.std::vector.334", [8 x i8] }>
%"class.std::vector.334" = type { %"struct.std::_Vector_base.335" }
%"struct.std::_Vector_base.335" = type { %"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl" }
%"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl" = type { %"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl_data" }
%"struct.std::_Vector_base<long, std::allocator<long>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unique_ptr.339" = type { %"struct.std::__uniq_ptr_data.340" }
%"struct.std::__uniq_ptr_data.340" = type { %"class.std::__uniq_ptr_impl.341" }
%"class.std::__uniq_ptr_impl.341" = type { %"class.std::tuple.342" }
%"class.std::tuple.342" = type { %"struct.std::_Tuple_impl.343" }
%"struct.std::_Tuple_impl.343" = type { %"struct.std::_Head_base.346" }
%"struct.std::_Head_base.346" = type { ptr }
%struct.HighsPrimaDualIntegral = type { double, double, double, double, double }
%struct.HighsDomainChange = type { double, i32, i32 }
%"struct.HighsImplications::Implics" = type <{ %"class.std::vector.73", i8, [7 x i8] }>

@.str.51 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [79 x i8], align 1
@__PRETTY_FUNCTION__._ZN17HighsImplications19computeImplicationsEib = external hidden unnamed_addr constant [60 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_ZN17HighsImplications19computeImplicationsEib(ptr noundef nonnull align 8 dereferenceable(176) %0, i32 noundef %1, i1 noundef zeroext %2) #1 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca i1, align 1
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i8, align 1
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i64, align 8
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca %"struct.HighsDomain::Reason", align 4
  %17 = alloca %"struct.HighsDomain::Reason", align 4
  %18 = alloca %class.anon, align 8
  %19 = alloca %class.anon.347, align 8
  %20 = alloca %class.anon.348, align 8
  %21 = alloca i32, align 4
  %22 = alloca %"class.std::vector.73", align 8
  %23 = alloca ptr, align 8
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %29 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %30 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %31 = alloca %class.anon.349, align 8
  %32 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %33 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %34 = alloca %"struct.std::array", align 4
  %35 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %36 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %37 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %38 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %39 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %40 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %41 = alloca i32, align 4
  %42 = alloca %"class.__gnu_cxx::__normal_iterator.350", align 8
  %43 = alloca %"class.__gnu_cxx::__normal_iterator.350", align 8
  %44 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %45 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  store ptr %0, ptr %5, align 8, !tbaa !5
  store i32 %1, ptr %6, align 4, !tbaa !9
  %46 = zext i1 %2 to i8
  store i8 %46, ptr %7, align 1, !tbaa !11
  %47 = load ptr, ptr %5, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #9
  %48 = getelementptr inbounds %class.HighsImplications, ptr %47, i32 0, i32 5
  %49 = load ptr, ptr %48, align 8, !tbaa !13
  %50 = getelementptr inbounds %class.HighsMipSolver, ptr %49, i32 0, i32 25
  %51 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %50) #9
  %52 = getelementptr inbounds %struct.HighsMipSolverData, ptr %51, i32 0, i32 3
  store ptr %52, ptr %8, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #9
  %53 = getelementptr inbounds %class.HighsImplications, ptr %47, i32 0, i32 5
  %54 = load ptr, ptr %53, align 8, !tbaa !13
  %55 = getelementptr inbounds %class.HighsMipSolver, ptr %54, i32 0, i32 25
  %56 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %55) #9
  %57 = getelementptr inbounds %struct.HighsMipSolverData, ptr %56, i32 0, i32 6
  store ptr %57, ptr %9, align 8, !tbaa !5
  %58 = load ptr, ptr %8, align 8, !tbaa !5
  %59 = call noundef zeroext i1 @_ZN11HighsDomain9propagateEv(ptr noundef nonnull align 8 dereferenceable(824) %58)
  %60 = load ptr, ptr %8, align 8, !tbaa !5
  %61 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %60)
  br i1 %61, label %66, label %62

62:                                               ; preds = %3
  %63 = load ptr, ptr %8, align 8, !tbaa !5
  %64 = load i32, ptr %6, align 4, !tbaa !9
  %65 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %63, i32 noundef %64)
  br i1 %65, label %66, label %67

66:                                               ; preds = %62, %3
  store i1 true, ptr %4, align 1
  store i32 1, ptr %10, align 4
  br label %511

67:                                               ; preds = %62
  %68 = load ptr, ptr %8, align 8, !tbaa !5
  %69 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZNK11HighsDomain16getRedundantRowsEv(ptr noundef nonnull align 8 dereferenceable(824) %68)
  %70 = call noundef i64 @_ZNK14HighsHashTableIivE4sizeEv(ptr noundef nonnull align 8 dereferenceable(40) %69)
  %71 = icmp eq i64 %70, 0
  br i1 %71, label %72, label %73

72:                                               ; preds = %67
  br label %75

73:                                               ; preds = %67
  call void @__assert_fail(ptr noundef @.str.51, ptr noundef @.str.52, i32 noundef 22, ptr noundef @__PRETTY_FUNCTION__._ZN17HighsImplications19computeImplicationsEib) #10
  unreachable

74:                                               ; No predecessors!
  br label %75

75:                                               ; preds = %74, %72
  %76 = getelementptr inbounds %class.HighsImplications, ptr %47, i32 0, i32 8
  %77 = call noundef zeroext i1 @_ZStneIvJiiidEEbRKSt8functionIFT_DpT0_EEDn(ptr noundef nonnull align 8 dereferenceable(32) %76, ptr null) #9
  br i1 %77, label %78, label %80

78:                                               ; preds = %75
  %79 = load ptr, ptr %8, align 8, !tbaa !5
  call void @_ZN11HighsDomain22setRecordRedundantRowsEb(ptr noundef nonnull align 8 dereferenceable(824) %79, i1 noundef zeroext true)
  br label %80

80:                                               ; preds = %78, %75
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #9
  %81 = load ptr, ptr %8, align 8, !tbaa !5
  %82 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK11HighsDomain20getDomainChangeStackEv(ptr noundef nonnull align 8 dereferenceable(824) %81)
  store ptr %82, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #9
  %83 = load ptr, ptr %8, align 8, !tbaa !5
  %84 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK11HighsDomain21getDomainChangeReasonEv(ptr noundef nonnull align 8 dereferenceable(824) %83)
  store ptr %84, ptr %12, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #9
  %85 = load ptr, ptr %8, align 8, !tbaa !5
  %86 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK11HighsDomain14getChangedColsEv(ptr noundef nonnull align 8 dereferenceable(824) %85)
  %87 = call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %86) #9
  store i64 %87, ptr %13, align 8, !tbaa !34
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #9
  %88 = load ptr, ptr %11, align 8, !tbaa !5
  %89 = call noundef i64 @_ZNKSt6vectorI17HighsDomainChangeSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %88) #9
  %90 = add i64 %89, 1
  %91 = trunc i64 %90 to i32
  store i32 %91, ptr %14, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #9
  %92 = load i32, ptr %14, align 4, !tbaa !9
  %93 = sub nsw i32 0, %92
  store i32 %93, ptr %15, align 4, !tbaa !9
  %94 = load i8, ptr %7, align 1, !tbaa !11, !range !35, !noundef !36
  %95 = trunc i8 %94 to i1
  br i1 %95, label %96, label %101

96:                                               ; preds = %80
  %97 = load ptr, ptr %8, align 8, !tbaa !5
  %98 = load i32, ptr %6, align 4, !tbaa !9
  %99 = call i64 @_ZN11HighsDomain6Reason9branchingEv()
  store i64 %99, ptr %16, align 4
  %100 = load i64, ptr %16, align 4
  call void @_ZN11HighsDomain11changeBoundE14HighsBoundTypeidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %97, i32 noundef 0, i32 noundef %98, double noundef 1.000000e+00, i64 %100)
  br label %106

101:                                              ; preds = %80
  %102 = load ptr, ptr %8, align 8, !tbaa !5
  %103 = load i32, ptr %6, align 4, !tbaa !9
  %104 = call i64 @_ZN11HighsDomain6Reason9branchingEv()
  store i64 %104, ptr %17, align 4
  %105 = load i64, ptr %17, align 4
  call void @_ZN11HighsDomain11changeBoundE14HighsBoundTypeidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %102, i32 noundef 1, i32 noundef %103, double noundef 0.000000e+00, i64 %105)
  br label %106

106:                                              ; preds = %101, %96
  call void @llvm.lifetime.start.p0(i64 16, ptr %18) #9
  %107 = getelementptr inbounds %class.anon, ptr %18, i32 0, i32 0
  store ptr %47, ptr %107, align 8, !tbaa !37
  %108 = getelementptr inbounds %class.anon, ptr %18, i32 0, i32 1
  %109 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %109, ptr %108, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #9
  %110 = getelementptr inbounds %class.anon.347, ptr %19, i32 0, i32 0
  %111 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %111, ptr %110, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 40, ptr %20) #9
  %112 = getelementptr inbounds %class.anon.348, ptr %20, i32 0, i32 0
  %113 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %113, ptr %112, align 8, !tbaa !5
  %114 = getelementptr inbounds %class.anon.348, ptr %20, i32 0, i32 1
  store ptr %18, ptr %114, align 8, !tbaa !5
  %115 = getelementptr inbounds %class.anon.348, ptr %20, i32 0, i32 2
  store ptr %19, ptr %115, align 8, !tbaa !5
  %116 = getelementptr inbounds %class.anon.348, ptr %20, i32 0, i32 3
  store ptr %13, ptr %116, align 8, !tbaa !5
  %117 = getelementptr inbounds %class.anon.348, ptr %20, i32 0, i32 4
  %118 = load ptr, ptr %9, align 8, !tbaa !5
  store ptr %118, ptr %117, align 8, !tbaa !5
  %119 = load i32, ptr %6, align 4, !tbaa !9
  %120 = load i8, ptr %7, align 1, !tbaa !11, !range !35, !noundef !36
  %121 = trunc i8 %120 to i1
  %122 = call noundef zeroext i1 @"_ZZN17HighsImplications19computeImplicationsEibENK3$_2clEib"(ptr noundef nonnull align 8 dereferenceable(40) %20, i32 noundef %119, i1 noundef zeroext %121)
  br i1 %122, label %123, label %124

123:                                              ; preds = %106
  store i1 true, ptr %4, align 1
  store i32 1, ptr %10, align 4
  br label %510

124:                                              ; preds = %106
  %125 = load ptr, ptr %8, align 8, !tbaa !5
  %126 = call noundef zeroext i1 @_ZN11HighsDomain9propagateEv(ptr noundef nonnull align 8 dereferenceable(824) %125)
  %127 = load i32, ptr %6, align 4, !tbaa !9
  %128 = load i8, ptr %7, align 1, !tbaa !11, !range !35, !noundef !36
  %129 = trunc i8 %128 to i1
  %130 = call noundef zeroext i1 @"_ZZN17HighsImplications19computeImplicationsEibENK3$_2clEib"(ptr noundef nonnull align 8 dereferenceable(40) %20, i32 noundef %127, i1 noundef zeroext %129)
  br i1 %130, label %131, label %132

131:                                              ; preds = %124
  store i1 true, ptr %4, align 1
  store i32 1, ptr %10, align 4
  br label %510

132:                                              ; preds = %124
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #9
  %133 = load ptr, ptr %11, align 8, !tbaa !5
  %134 = call noundef i64 @_ZNKSt6vectorI17HighsDomainChangeSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %133) #9
  %135 = trunc i64 %134 to i32
  store i32 %135, ptr %21, align 4, !tbaa !9
  %136 = load i32, ptr %21, align 4, !tbaa !9
  %137 = load i32, ptr %15, align 4, !tbaa !9
  %138 = add nsw i32 %137, %136
  store i32 %138, ptr %15, align 4, !tbaa !9
  %139 = getelementptr inbounds %class.HighsImplications, ptr %47, i32 0, i32 5
  %140 = load ptr, ptr %139, align 8, !tbaa !13
  %141 = getelementptr inbounds %class.HighsMipSolver, ptr %140, i32 0, i32 25
  %142 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %141) #9
  %143 = getelementptr inbounds %struct.HighsMipSolverData, ptr %142, i32 0, i32 5
  %144 = load i32, ptr %6, align 4, !tbaa !9
  %145 = load i32, ptr %15, align 4, !tbaa !9
  %146 = load i8, ptr %7, align 1, !tbaa !11, !range !35, !noundef !36
  %147 = trunc i8 %146 to i1
  call void @_ZN15HighsPseudocost23addInferenceObservationEiib(ptr noundef nonnull align 8 dereferenceable(360) %143, i32 noundef %144, i32 noundef %145, i1 noundef zeroext %147)
  call void @llvm.lifetime.start.p0(i64 24, ptr %22) #9
  call void @_ZNSt6vectorI17HighsDomainChangeSaIS0_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  %148 = load i32, ptr %15, align 4, !tbaa !9
  %149 = sext i32 %148 to i64
  invoke void @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE7reserveEm(ptr noundef nonnull align 8 dereferenceable(24) %22, i64 noundef %149)
          to label %150 unwind label %169

150:                                              ; preds = %132
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #9
  %151 = getelementptr inbounds %class.HighsImplications, ptr %47, i32 0, i32 5
  %152 = load ptr, ptr %151, align 8, !tbaa !13
  %153 = getelementptr inbounds %class.HighsMipSolver, ptr %152, i32 0, i32 25
  %154 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %153) #9
  %155 = getelementptr inbounds %struct.HighsMipSolverData, ptr %154, i32 0, i32 6
  %156 = invoke noundef i32 @_ZNK16HighsCliqueTable13getNumEntriesEv(ptr noundef nonnull align 8 dereferenceable(488) %155)
          to label %157 unwind label %173

157:                                              ; preds = %150
  store i32 %156, ptr %25, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #9
  %158 = getelementptr inbounds %class.HighsImplications, ptr %47, i32 0, i32 5
  %159 = load ptr, ptr %158, align 8, !tbaa !13
  %160 = invoke noundef i32 @_ZNK14HighsMipSolver10numNonzeroEv(ptr noundef nonnull align 8 dereferenceable(496) %159)
          to label %161 unwind label %177

161:                                              ; preds = %157
  %162 = add nsw i32 100000, %160
  store i32 %162, ptr %26, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #9
  %163 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %163, ptr %27, align 4, !tbaa !9
  br label %164

164:                                              ; preds = %210, %161
  %165 = load i32, ptr %27, align 4, !tbaa !9
  %166 = load i32, ptr %21, align 4, !tbaa !9
  %167 = icmp slt i32 %165, %166
  br i1 %167, label %181, label %168

168:                                              ; preds = %164
  store i32 2, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #9
  br label %217

169:                                              ; preds = %132
  %170 = landingpad { ptr, i32 }
          cleanup
  %171 = extractvalue { ptr, i32 } %170, 0
  store ptr %171, ptr %23, align 8
  %172 = extractvalue { ptr, i32 } %170, 1
  store i32 %172, ptr %24, align 4
  br label %509

173:                                              ; preds = %150
  %174 = landingpad { ptr, i32 }
          cleanup
  %175 = extractvalue { ptr, i32 } %174, 0
  store ptr %175, ptr %23, align 8
  %176 = extractvalue { ptr, i32 } %174, 1
  store i32 %176, ptr %24, align 4
  br label %508

177:                                              ; preds = %221, %217, %157
  %178 = landingpad { ptr, i32 }
          cleanup
  %179 = extractvalue { ptr, i32 } %178, 0
  store ptr %179, ptr %23, align 8
  %180 = extractvalue { ptr, i32 } %178, 1
  store i32 %180, ptr %24, align 4
  br label %507

181:                                              ; preds = %164
  %182 = load ptr, ptr %12, align 8, !tbaa !5
  %183 = load i32, ptr %27, align 4, !tbaa !9
  %184 = sext i32 %183 to i64
  %185 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNKSt6vectorIN11HighsDomain6ReasonESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %182, i64 noundef %184) #9
  %186 = getelementptr inbounds %"struct.HighsDomain::Reason", ptr %185, i32 0, i32 0
  %187 = load i32, ptr %186, align 4, !tbaa !39
  %188 = icmp eq i32 %187, -5
  br i1 %188, label %189, label %204

189:                                              ; preds = %181
  %190 = load ptr, ptr %12, align 8, !tbaa !5
  %191 = load i32, ptr %27, align 4, !tbaa !9
  %192 = sext i32 %191 to i64
  %193 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNKSt6vectorIN11HighsDomain6ReasonESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %190, i64 noundef %192) #9
  %194 = getelementptr inbounds %"struct.HighsDomain::Reason", ptr %193, i32 0, i32 1
  %195 = load i32, ptr %194, align 4, !tbaa !41
  %196 = ashr i32 %195, 1
  %197 = load i32, ptr %6, align 4, !tbaa !9
  %198 = icmp eq i32 %196, %197
  br i1 %198, label %203, label %199

199:                                              ; preds = %189
  %200 = load i32, ptr %25, align 4, !tbaa !9
  %201 = load i32, ptr %26, align 4, !tbaa !9
  %202 = icmp sge i32 %200, %201
  br i1 %202, label %203, label %204

203:                                              ; preds = %199, %189
  br label %210

204:                                              ; preds = %199, %181
  %205 = load ptr, ptr %11, align 8, !tbaa !5
  %206 = load i32, ptr %27, align 4, !tbaa !9
  %207 = sext i32 %206 to i64
  %208 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt6vectorI17HighsDomainChangeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %205, i64 noundef %207) #9
  invoke void @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE9push_backERKS0_(ptr noundef nonnull align 8 dereferenceable(24) %22, ptr noundef nonnull align 8 dereferenceable(16) %208)
          to label %209 unwind label %213

209:                                              ; preds = %204
  br label %210

210:                                              ; preds = %209, %203
  %211 = load i32, ptr %27, align 4, !tbaa !9
  %212 = add nsw i32 %211, 1
  store i32 %212, ptr %27, align 4, !tbaa !9
  br label %164, !llvm.loop !42

213:                                              ; preds = %204
  %214 = landingpad { ptr, i32 }
          cleanup
  %215 = extractvalue { ptr, i32 } %214, 0
  store ptr %215, ptr %23, align 8
  %216 = extractvalue { ptr, i32 } %214, 1
  store i32 %216, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #9
  br label %507

217:                                              ; preds = %168
  %218 = load i32, ptr %6, align 4, !tbaa !9
  %219 = load i8, ptr %7, align 1, !tbaa !11, !range !35, !noundef !36
  %220 = trunc i8 %219 to i1
  invoke void @"_ZZN17HighsImplications19computeImplicationsEibENK3$_0clEib"(ptr noundef nonnull align 8 dereferenceable(16) %18, i32 noundef %218, i1 noundef zeroext %220)
          to label %221 unwind label %177

221:                                              ; preds = %217
  %222 = load i64, ptr %13, align 8, !tbaa !34
  invoke void @"_ZZN17HighsImplications19computeImplicationsEibENK3$_1clEm"(ptr noundef nonnull align 8 dereferenceable(8) %19, i64 noundef %222)
          to label %223 unwind label %177

223:                                              ; preds = %221
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #9
  %224 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  %225 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %29, i32 0, i32 0
  store ptr %224, ptr %225, align 8
  %226 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  %227 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %30, i32 0, i32 0
  store ptr %226, ptr %227, align 8
  %228 = getelementptr inbounds %class.anon.349, ptr %31, i32 0, i32 0
  %229 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %229, ptr %228, align 8, !tbaa !5
  %230 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %29, i32 0, i32 0
  %231 = load ptr, ptr %230, align 8
  %232 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %30, i32 0, i32 0
  %233 = load ptr, ptr %232, align 8
  %234 = getelementptr inbounds %class.anon.349, ptr %31, i32 0, i32 0
  %235 = load ptr, ptr %234, align 8
  %236 = invoke ptr @"_ZSt9partitionIN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS2_SaIS2_EEEEZN17HighsImplications19computeImplicationsEibE3$_3ET_SA_SA_T0_"(ptr %231, ptr %233, ptr %235)
          to label %237 unwind label %257

237:                                              ; preds = %223
  %238 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %28, i32 0, i32 0
  store ptr %236, ptr %238, align 8
  %239 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  %240 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %32, i32 0, i32 0
  store ptr %239, ptr %240, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %33, ptr align 8 %28, i64 8, i1 false), !tbaa.struct !44
  %241 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %32, i32 0, i32 0
  %242 = load ptr, ptr %241, align 8
  %243 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %33, i32 0, i32 0
  %244 = load ptr, ptr %243, align 8
  invoke void @_Z7pdqsortIN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS2_SaIS2_EEEEEvT_S8_(ptr %242, ptr %244)
          to label %245 unwind label %257

245:                                              ; preds = %237
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #9
  %246 = load i32, ptr %6, align 4, !tbaa !9
  %247 = load i8, ptr %7, align 1, !tbaa !11, !range !35, !noundef !36
  %248 = trunc i8 %247 to i1
  %249 = zext i1 %248 to i32
  invoke void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4) %35, i32 noundef %246, i32 noundef %249)
          to label %250 unwind label %261

250:                                              ; preds = %245
  %251 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt5arrayIN16HighsCliqueTable9CliqueVarELm2EEixEm(ptr noundef nonnull align 4 dereferenceable(8) %34, i64 noundef 0) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %251, ptr align 4 %35, i64 4, i1 false), !tbaa.struct !45
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %36, ptr align 8 %28, i64 8, i1 false), !tbaa.struct !44
  br label %252

252:                                              ; preds = %310, %250
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #9
  %253 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  %254 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %37, i32 0, i32 0
  store ptr %253, ptr %254, align 8
  %255 = call noundef zeroext i1 @_ZN9__gnu_cxxneIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %36, ptr noundef nonnull align 8 dereferenceable(8) %37) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #9
  br i1 %255, label %265, label %256

256:                                              ; preds = %252
  store i32 5, ptr %10, align 4
  br label %312

257:                                              ; preds = %237, %223
  %258 = landingpad { ptr, i32 }
          cleanup
  %259 = extractvalue { ptr, i32 } %258, 0
  store ptr %259, ptr %23, align 8
  %260 = extractvalue { ptr, i32 } %258, 1
  store i32 %260, ptr %24, align 4
  br label %506

261:                                              ; preds = %245
  %262 = landingpad { ptr, i32 }
          cleanup
  %263 = extractvalue { ptr, i32 } %262, 0
  store ptr %263, ptr %23, align 8
  %264 = extractvalue { ptr, i32 } %262, 1
  store i32 %264, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #9
  br label %505

265:                                              ; preds = %252
  %266 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %36) #9
  %267 = getelementptr inbounds %struct.HighsDomainChange, ptr %266, i32 0, i32 2
  %268 = load i32, ptr %267, align 4, !tbaa !47
  %269 = icmp eq i32 %268, 0
  br i1 %269, label %270, label %280

270:                                              ; preds = %265
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #9
  %271 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %36) #9
  %272 = getelementptr inbounds %struct.HighsDomainChange, ptr %271, i32 0, i32 1
  %273 = load i32, ptr %272, align 8, !tbaa !51
  invoke void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4) %38, i32 noundef %273, i32 noundef 0)
          to label %274 unwind label %276

274:                                              ; preds = %270
  %275 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt5arrayIN16HighsCliqueTable9CliqueVarELm2EEixEm(ptr noundef nonnull align 4 dereferenceable(8) %34, i64 noundef 1) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %275, ptr align 4 %38, i64 4, i1 false), !tbaa.struct !45
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #9
  br label %290

276:                                              ; preds = %270
  %277 = landingpad { ptr, i32 }
          cleanup
  %278 = extractvalue { ptr, i32 } %277, 0
  store ptr %278, ptr %23, align 8
  %279 = extractvalue { ptr, i32 } %277, 1
  store i32 %279, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #9
  br label %314

280:                                              ; preds = %265
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #9
  %281 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %36) #9
  %282 = getelementptr inbounds %struct.HighsDomainChange, ptr %281, i32 0, i32 1
  %283 = load i32, ptr %282, align 8, !tbaa !51
  invoke void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4) %39, i32 noundef %283, i32 noundef 1)
          to label %284 unwind label %286

284:                                              ; preds = %280
  %285 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt5arrayIN16HighsCliqueTable9CliqueVarELm2EEixEm(ptr noundef nonnull align 4 dereferenceable(8) %34, i64 noundef 1) #9
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %285, ptr align 4 %39, i64 4, i1 false), !tbaa.struct !45
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #9
  br label %290

286:                                              ; preds = %280
  %287 = landingpad { ptr, i32 }
          cleanup
  %288 = extractvalue { ptr, i32 } %287, 0
  store ptr %288, ptr %23, align 8
  %289 = extractvalue { ptr, i32 } %287, 1
  store i32 %289, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #9
  br label %314

290:                                              ; preds = %284, %274
  %291 = load ptr, ptr %9, align 8, !tbaa !5
  %292 = getelementptr inbounds %class.HighsImplications, ptr %47, i32 0, i32 5
  %293 = load ptr, ptr %292, align 8, !tbaa !13
  %294 = call noundef ptr @_ZNSt5arrayIN16HighsCliqueTable9CliqueVarELm2EE4dataEv(ptr noundef nonnull align 4 dereferenceable(8) %34) #11
  invoke void @_ZN16HighsCliqueTable9addCliqueERK14HighsMipSolverPNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488) %291, ptr noundef nonnull align 8 dereferenceable(496) %293, ptr noundef %294, i32 noundef 2, i1 noundef zeroext false, i32 noundef 2147483647)
          to label %295 unwind label %305

295:                                              ; preds = %290
  %296 = load ptr, ptr %8, align 8, !tbaa !5
  %297 = invoke noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %296)
          to label %298 unwind label %305

298:                                              ; preds = %295
  br i1 %297, label %304, label %299

299:                                              ; preds = %298
  %300 = load ptr, ptr %8, align 8, !tbaa !5
  %301 = load i32, ptr %6, align 4, !tbaa !9
  %302 = invoke noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %300, i32 noundef %301)
          to label %303 unwind label %305

303:                                              ; preds = %299
  br i1 %302, label %304, label %309

304:                                              ; preds = %303, %298
  store i1 true, ptr %4, align 1
  store i32 1, ptr %10, align 4
  br label %312

305:                                              ; preds = %299, %295, %290
  %306 = landingpad { ptr, i32 }
          cleanup
  %307 = extractvalue { ptr, i32 } %306, 0
  store ptr %307, ptr %23, align 8
  %308 = extractvalue { ptr, i32 } %306, 1
  store i32 %308, ptr %24, align 4
  br label %314

309:                                              ; preds = %303
  br label %310

310:                                              ; preds = %309
  %311 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %36) #9
  br label %252, !llvm.loop !52

312:                                              ; preds = %304, %256
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #9
  %313 = load i32, ptr %10, align 4
  switch i32 %313, label %504 [
    i32 5, label %315
  ]

314:                                              ; preds = %305, %286, %276
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #9
  br label %505

315:                                              ; preds = %312
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #9
  %316 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  %317 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %40, i32 0, i32 0
  store ptr %316, ptr %317, align 8
  br label %318

318:                                              ; preds = %459, %315
  %319 = call noundef zeroext i1 @_ZN9__gnu_cxxneIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %40, ptr noundef nonnull align 8 dereferenceable(8) %28) #9
  br i1 %319, label %321, label %320

320:                                              ; preds = %318
  store i32 8, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #9
  br label %461

321:                                              ; preds = %318
  %322 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %323 = getelementptr inbounds %struct.HighsDomainChange, ptr %322, i32 0, i32 2
  %324 = load i32, ptr %323, align 4, !tbaa !47
  %325 = icmp eq i32 %324, 0
  br i1 %325, label %326, label %394

326:                                              ; preds = %321
  %327 = load i8, ptr %7, align 1, !tbaa !11, !range !35, !noundef !36
  %328 = trunc i8 %327 to i1
  %329 = zext i1 %328 to i32
  %330 = icmp eq i32 %329, 1
  br i1 %330, label %331, label %372

331:                                              ; preds = %326
  %332 = load ptr, ptr %8, align 8, !tbaa !5
  %333 = getelementptr inbounds %class.HighsDomain, ptr %332, i32 0, i32 25
  %334 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %335 = getelementptr inbounds %struct.HighsDomainChange, ptr %334, i32 0, i32 1
  %336 = load i32, ptr %335, align 8, !tbaa !51
  %337 = sext i32 %336 to i64
  %338 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %333, i64 noundef %337) #9
  %339 = load double, ptr %338, align 8, !tbaa !53
  %340 = fcmp une double %339, 0xFFF0000000000000
  br i1 %340, label %341, label %371

341:                                              ; preds = %331
  %342 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %343 = getelementptr inbounds %struct.HighsDomainChange, ptr %342, i32 0, i32 1
  %344 = load i32, ptr %343, align 8, !tbaa !51
  %345 = load i32, ptr %6, align 4, !tbaa !9
  %346 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %347 = getelementptr inbounds %struct.HighsDomainChange, ptr %346, i32 0, i32 0
  %348 = load double, ptr %347, align 8, !tbaa !54
  %349 = load ptr, ptr %8, align 8, !tbaa !5
  %350 = getelementptr inbounds %class.HighsDomain, ptr %349, i32 0, i32 25
  %351 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %352 = getelementptr inbounds %struct.HighsDomainChange, ptr %351, i32 0, i32 1
  %353 = load i32, ptr %352, align 8, !tbaa !51
  %354 = sext i32 %353 to i64
  %355 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %350, i64 noundef %354) #9
  %356 = load double, ptr %355, align 8, !tbaa !53
  %357 = fsub double %348, %356
  %358 = load ptr, ptr %8, align 8, !tbaa !5
  %359 = getelementptr inbounds %class.HighsDomain, ptr %358, i32 0, i32 25
  %360 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %361 = getelementptr inbounds %struct.HighsDomainChange, ptr %360, i32 0, i32 1
  %362 = load i32, ptr %361, align 8, !tbaa !51
  %363 = sext i32 %362 to i64
  %364 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %359, i64 noundef %363) #9
  %365 = load double, ptr %364, align 8, !tbaa !53
  invoke void @_ZN17HighsImplications6addVLBEiidd(ptr noundef nonnull align 8 dereferenceable(176) %47, i32 noundef %344, i32 noundef %345, double noundef %357, double noundef %365)
          to label %366 unwind label %367

366:                                              ; preds = %341
  br label %371

367:                                              ; preds = %436, %409, %372, %341
  %368 = landingpad { ptr, i32 }
          cleanup
  %369 = extractvalue { ptr, i32 } %368, 0
  store ptr %369, ptr %23, align 8
  %370 = extractvalue { ptr, i32 } %368, 1
  store i32 %370, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #9
  br label %505

371:                                              ; preds = %366, %331
  br label %393

372:                                              ; preds = %326
  %373 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %374 = getelementptr inbounds %struct.HighsDomainChange, ptr %373, i32 0, i32 1
  %375 = load i32, ptr %374, align 8, !tbaa !51
  %376 = load i32, ptr %6, align 4, !tbaa !9
  %377 = load ptr, ptr %8, align 8, !tbaa !5
  %378 = getelementptr inbounds %class.HighsDomain, ptr %377, i32 0, i32 25
  %379 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %380 = getelementptr inbounds %struct.HighsDomainChange, ptr %379, i32 0, i32 1
  %381 = load i32, ptr %380, align 8, !tbaa !51
  %382 = sext i32 %381 to i64
  %383 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %378, i64 noundef %382) #9
  %384 = load double, ptr %383, align 8, !tbaa !53
  %385 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %386 = getelementptr inbounds %struct.HighsDomainChange, ptr %385, i32 0, i32 0
  %387 = load double, ptr %386, align 8, !tbaa !54
  %388 = fsub double %384, %387
  %389 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %390 = getelementptr inbounds %struct.HighsDomainChange, ptr %389, i32 0, i32 0
  %391 = load double, ptr %390, align 8, !tbaa !54
  invoke void @_ZN17HighsImplications6addVLBEiidd(ptr noundef nonnull align 8 dereferenceable(176) %47, i32 noundef %375, i32 noundef %376, double noundef %388, double noundef %391)
          to label %392 unwind label %367

392:                                              ; preds = %372
  br label %393

393:                                              ; preds = %392, %371
  br label %458

394:                                              ; preds = %321
  %395 = load i8, ptr %7, align 1, !tbaa !11, !range !35, !noundef !36
  %396 = trunc i8 %395 to i1
  %397 = zext i1 %396 to i32
  %398 = icmp eq i32 %397, 1
  br i1 %398, label %399, label %436

399:                                              ; preds = %394
  %400 = load ptr, ptr %8, align 8, !tbaa !5
  %401 = getelementptr inbounds %class.HighsDomain, ptr %400, i32 0, i32 26
  %402 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %403 = getelementptr inbounds %struct.HighsDomainChange, ptr %402, i32 0, i32 1
  %404 = load i32, ptr %403, align 8, !tbaa !51
  %405 = sext i32 %404 to i64
  %406 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %401, i64 noundef %405) #9
  %407 = load double, ptr %406, align 8, !tbaa !53
  %408 = fcmp une double %407, 0x7FF0000000000000
  br i1 %408, label %409, label %435

409:                                              ; preds = %399
  %410 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %411 = getelementptr inbounds %struct.HighsDomainChange, ptr %410, i32 0, i32 1
  %412 = load i32, ptr %411, align 8, !tbaa !51
  %413 = load i32, ptr %6, align 4, !tbaa !9
  %414 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %415 = getelementptr inbounds %struct.HighsDomainChange, ptr %414, i32 0, i32 0
  %416 = load double, ptr %415, align 8, !tbaa !54
  %417 = load ptr, ptr %8, align 8, !tbaa !5
  %418 = getelementptr inbounds %class.HighsDomain, ptr %417, i32 0, i32 26
  %419 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %420 = getelementptr inbounds %struct.HighsDomainChange, ptr %419, i32 0, i32 1
  %421 = load i32, ptr %420, align 8, !tbaa !51
  %422 = sext i32 %421 to i64
  %423 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %418, i64 noundef %422) #9
  %424 = load double, ptr %423, align 8, !tbaa !53
  %425 = fsub double %416, %424
  %426 = load ptr, ptr %8, align 8, !tbaa !5
  %427 = getelementptr inbounds %class.HighsDomain, ptr %426, i32 0, i32 26
  %428 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %429 = getelementptr inbounds %struct.HighsDomainChange, ptr %428, i32 0, i32 1
  %430 = load i32, ptr %429, align 8, !tbaa !51
  %431 = sext i32 %430 to i64
  %432 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %427, i64 noundef %431) #9
  %433 = load double, ptr %432, align 8, !tbaa !53
  invoke void @_ZN17HighsImplications6addVUBEiidd(ptr noundef nonnull align 8 dereferenceable(176) %47, i32 noundef %412, i32 noundef %413, double noundef %425, double noundef %433)
          to label %434 unwind label %367

434:                                              ; preds = %409
  br label %435

435:                                              ; preds = %434, %399
  br label %457

436:                                              ; preds = %394
  %437 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %438 = getelementptr inbounds %struct.HighsDomainChange, ptr %437, i32 0, i32 1
  %439 = load i32, ptr %438, align 8, !tbaa !51
  %440 = load i32, ptr %6, align 4, !tbaa !9
  %441 = load ptr, ptr %8, align 8, !tbaa !5
  %442 = getelementptr inbounds %class.HighsDomain, ptr %441, i32 0, i32 26
  %443 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %444 = getelementptr inbounds %struct.HighsDomainChange, ptr %443, i32 0, i32 1
  %445 = load i32, ptr %444, align 8, !tbaa !51
  %446 = sext i32 %445 to i64
  %447 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %442, i64 noundef %446) #9
  %448 = load double, ptr %447, align 8, !tbaa !53
  %449 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %450 = getelementptr inbounds %struct.HighsDomainChange, ptr %449, i32 0, i32 0
  %451 = load double, ptr %450, align 8, !tbaa !54
  %452 = fsub double %448, %451
  %453 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %454 = getelementptr inbounds %struct.HighsDomainChange, ptr %453, i32 0, i32 0
  %455 = load double, ptr %454, align 8, !tbaa !54
  invoke void @_ZN17HighsImplications6addVUBEiidd(ptr noundef nonnull align 8 dereferenceable(176) %47, i32 noundef %439, i32 noundef %440, double noundef %452, double noundef %455)
          to label %456 unwind label %367

456:                                              ; preds = %436
  br label %457

457:                                              ; preds = %456, %435
  br label %458

458:                                              ; preds = %457, %393
  br label %459

459:                                              ; preds = %458
  %460 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  br label %318, !llvm.loop !55

461:                                              ; preds = %320
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #9
  %462 = load i32, ptr %6, align 4, !tbaa !9
  %463 = mul nsw i32 2, %462
  %464 = load i8, ptr %7, align 1, !tbaa !11, !range !35, !noundef !36
  %465 = trunc i8 %464 to i1
  %466 = zext i1 %465 to i32
  %467 = add nsw i32 %463, %466
  store i32 %467, ptr %41, align 4, !tbaa !9
  %468 = getelementptr inbounds %class.HighsImplications, ptr %47, i32 0, i32 1
  %469 = load i32, ptr %41, align 4, !tbaa !9
  %470 = sext i32 %469 to i64
  %471 = call noundef nonnull align 8 dereferenceable(25) ptr @_ZNSt6vectorIN17HighsImplications7ImplicsESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %468, i64 noundef %470) #9
  %472 = getelementptr inbounds %"struct.HighsImplications::Implics", ptr %471, i32 0, i32 1
  store i8 1, ptr %472, align 8, !tbaa !56
  call void @_ZN9__gnu_cxx17__normal_iteratorIPK17HighsDomainChangeSt6vectorIS1_SaIS1_EEEC2IPS1_vEERKNS0_IT_S6_EE(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef nonnull align 8 dereferenceable(8) %28) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #9
  %473 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  %474 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %44, i32 0, i32 0
  store ptr %473, ptr %474, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPK17HighsDomainChangeSt6vectorIS1_SaIS1_EEEC2IPS1_vEERKNS0_IT_S6_EE(ptr noundef nonnull align 8 dereferenceable(8) %43, ptr noundef nonnull align 8 dereferenceable(8) %44) #9
  %475 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.350", ptr %42, i32 0, i32 0
  %476 = load ptr, ptr %475, align 8
  %477 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.350", ptr %43, i32 0, i32 0
  %478 = load ptr, ptr %477, align 8
  %479 = invoke ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS0_S2_EES7_(ptr noundef nonnull align 8 dereferenceable(24) %22, ptr %476, ptr %478)
          to label %480 unwind label %499

480:                                              ; preds = %461
  %481 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %45, i32 0, i32 0
  store ptr %479, ptr %481, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #9
  %482 = call noundef zeroext i1 @_ZNKSt6vectorI17HighsDomainChangeSaIS0_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  br i1 %482, label %503, label %483

483:                                              ; preds = %480
  %484 = getelementptr inbounds %class.HighsImplications, ptr %47, i32 0, i32 1
  %485 = load i32, ptr %41, align 4, !tbaa !9
  %486 = sext i32 %485 to i64
  %487 = call noundef nonnull align 8 dereferenceable(25) ptr @_ZNSt6vectorIN17HighsImplications7ImplicsESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %484, i64 noundef %486) #9
  %488 = getelementptr inbounds %"struct.HighsImplications::Implics", ptr %487, i32 0, i32 0
  %489 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EEaSEOS2_(ptr noundef nonnull align 8 dereferenceable(24) %488, ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  %490 = getelementptr inbounds %class.HighsImplications, ptr %47, i32 0, i32 1
  %491 = load i32, ptr %41, align 4, !tbaa !9
  %492 = sext i32 %491 to i64
  %493 = call noundef nonnull align 8 dereferenceable(25) ptr @_ZNSt6vectorIN17HighsImplications7ImplicsESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %490, i64 noundef %492) #9
  %494 = getelementptr inbounds %"struct.HighsImplications::Implics", ptr %493, i32 0, i32 0
  %495 = call noundef i64 @_ZNKSt6vectorI17HighsDomainChangeSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %494) #9
  %496 = getelementptr inbounds %class.HighsImplications, ptr %47, i32 0, i32 2
  %497 = load i64, ptr %496, align 8, !tbaa !62
  %498 = add i64 %497, %495
  store i64 %498, ptr %496, align 8, !tbaa !62
  br label %503

499:                                              ; preds = %461
  %500 = landingpad { ptr, i32 }
          cleanup
  %501 = extractvalue { ptr, i32 } %500, 0
  store ptr %501, ptr %23, align 8
  %502 = extractvalue { ptr, i32 } %500, 1
  store i32 %502, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #9
  br label %505

503:                                              ; preds = %483, %480
  store i1 false, ptr %4, align 1
  store i32 1, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #9
  br label %504

504:                                              ; preds = %503, %312
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #9
  call void @_ZNSt6vectorI17HighsDomainChangeSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %22) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #9
  br label %510

505:                                              ; preds = %499, %367, %314, %261
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #9
  br label %506

506:                                              ; preds = %505, %257
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #9
  br label %507

507:                                              ; preds = %506, %213, %177
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #9
  br label %508

508:                                              ; preds = %507, %173
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #9
  br label %509

509:                                              ; preds = %508, %169
  call void @_ZNSt6vectorI17HighsDomainChangeSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %22) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr %20) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %18) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #9
  br label %513

510:                                              ; preds = %504, %131, %123
  call void @llvm.lifetime.end.p0(i64 40, ptr %20) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %18) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #9
  br label %511

511:                                              ; preds = %510, %66
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #9
  %512 = load i1, ptr %4, align 1
  ret i1 %512

513:                                              ; preds = %509
  %514 = load ptr, ptr %23, align 8
  %515 = load i32, ptr %24, align 4
  %516 = insertvalue { ptr, i32 } poison, ptr %514, 0
  %517 = insertvalue { ptr, i32 } %516, i32 %515, 1
  resume { ptr, i32 } %517
}

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

declare noundef zeroext i1 @_ZN11HighsDomain9propagateEv(ptr noundef nonnull align 8 dereferenceable(824)) #3

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

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

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

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

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #4

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

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

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

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

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef zeroext i1 @"_ZZN17HighsImplications19computeImplicationsEibENK3$_2clEib"(ptr noundef nonnull align 8 dereferenceable(40), i32 noundef, i1 noundef zeroext) #6 align 2

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

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

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

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZN17HighsImplications19computeImplicationsEibENK3$_0clEib"(ptr noundef nonnull align 8 dereferenceable(16), i32 noundef, i1 noundef zeroext) #6 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZN17HighsImplications19computeImplicationsEibENK3$_1clEm"(ptr noundef nonnull align 8 dereferenceable(8), i64 noundef) #6 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden ptr @"_ZSt9partitionIN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS2_SaIS2_EEEEZN17HighsImplications19computeImplicationsEibE3$_3ET_SA_SA_T0_"(ptr, ptr, ptr) #6

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_Z7pdqsortIN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS2_SaIS2_EEEEEvT_S8_(ptr, ptr) #6

; 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) #7

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

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

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

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

declare void @_ZN16HighsCliqueTable9addCliqueERK14HighsMipSolverPNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 8 dereferenceable(496), ptr noundef, i32 noundef, i1 noundef zeroext, i32 noundef) #3

; Function Attrs: mustprogress nounwind willreturn memory(none) uwtable
declare dso_local noundef ptr @_ZNSt5arrayIN16HighsCliqueTable9CliqueVarELm2EE4dataEv(ptr noundef nonnull align 4 dereferenceable(8)) #8 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN17HighsImplications6addVLBEiidd(ptr noundef nonnull align 8 dereferenceable(176), i32 noundef, i32 noundef, double noundef, double noundef) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN17HighsImplications6addVUBEiidd(ptr noundef nonnull align 8 dereferenceable(176), i32 noundef, i32 noundef, double noundef, double noundef) #1 align 2

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

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

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

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

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

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { 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 #3 = { "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 = { noreturn nounwind "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 = { 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 #7 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #8 = { mustprogress nounwind willreturn memory(none) 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 #9 = { nounwind }
attributes #10 = { noreturn nounwind }
attributes #11 = { nounwind willreturn memory(none) }

!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 88}
!14 = !{!"_ZTS17HighsImplications", !10, i64 0, !15, i64 8, !19, i64 32, !20, i64 40, !20, i64 64, !6, i64 88, !24, i64 96, !28, i64 120, !32, i64 144}
!15 = !{!"_ZTSSt6vectorIN17HighsImplications7ImplicsESaIS1_EE", !16, i64 0}
!16 = !{!"_ZTSSt12_Vector_baseIN17HighsImplications7ImplicsESaIS1_EE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseIN17HighsImplications7ImplicsESaIS1_EE12_Vector_implE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseIN17HighsImplications7ImplicsESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!19 = !{!"long", !7, i64 0}
!20 = !{!"_ZTSSt6vectorI13HighsHashTreeIiN17HighsImplications8VarBoundEESaIS3_EE", !21, i64 0}
!21 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIiN17HighsImplications8VarBoundEESaIS3_EE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiN17HighsImplications8VarBoundEESaIS3_EE12_Vector_implE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiN17HighsImplications8VarBoundEESaIS3_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!24 = !{!"_ZTSSt6vectorI17HighsSubstitutionSaIS0_EE", !25, i64 0}
!25 = !{!"_ZTSSt12_Vector_baseI17HighsSubstitutionSaIS0_EE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseI17HighsSubstitutionSaIS0_EE12_Vector_implE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseI17HighsSubstitutionSaIS0_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!28 = !{!"_ZTSSt6vectorIhSaIhEE", !29, i64 0}
!29 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!32 = !{!"_ZTSSt8functionIFviiidEE", !33, i64 0, !6, i64 24}
!33 = !{!"_ZTSSt14_Function_base", !7, i64 0, !6, i64 16}
!34 = !{!19, !19, i64 0}
!35 = !{i8 0, i8 2}
!36 = !{}
!37 = !{!38, !6, i64 0}
!38 = !{!"_ZTSZN17HighsImplications19computeImplicationsEibE3$_0", !6, i64 0, !6, i64 8}
!39 = !{!40, !10, i64 0}
!40 = !{!"_ZTSN11HighsDomain6ReasonE", !10, i64 0, !10, i64 4}
!41 = !{!40, !10, i64 4}
!42 = distinct !{!42, !43}
!43 = !{!"llvm.loop.mustprogress"}
!44 = !{i64 0, i64 8, !5}
!45 = !{i64 0, i64 4, !46}
!46 = !{!7, !7, i64 0}
!47 = !{!48, !50, i64 12}
!48 = !{!"_ZTS17HighsDomainChange", !49, i64 0, !10, i64 8, !50, i64 12}
!49 = !{!"double", !7, i64 0}
!50 = !{!"_ZTS14HighsBoundType", !7, i64 0}
!51 = !{!48, !10, i64 8}
!52 = distinct !{!52, !43}
!53 = !{!49, !49, i64 0}
!54 = !{!48, !49, i64 0}
!55 = distinct !{!55, !43}
!56 = !{!57, !12, i64 24}
!57 = !{!"_ZTSN17HighsImplications7ImplicsE", !58, i64 0, !12, i64 24}
!58 = !{!"_ZTSSt6vectorI17HighsDomainChangeSaIS0_EE", !59, i64 0}
!59 = !{!"_ZTSSt12_Vector_baseI17HighsDomainChangeSaIS0_EE", !60, i64 0}
!60 = !{!"_ZTSNSt12_Vector_baseI17HighsDomainChangeSaIS0_EE12_Vector_implE", !61, i64 0}
!61 = !{!"_ZTSNSt12_Vector_baseI17HighsDomainChangeSaIS0_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!62 = !{!14, !19, i64 32}


; 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.anon = type { ptr, ptr }
%class.anon.347 = type { ptr }
%class.anon.348 = type { ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.73" = type { %"struct.std::_Vector_base.74" }
%"struct.std::_Vector_base.74" = type { %"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsDomainChange, std::allocator<HighsDomainChange>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"struct.std::array" = type { [2 x %"struct.HighsCliqueTable::CliqueVar"] }
%"struct.HighsCliqueTable::CliqueVar" = type { i32 }
%"class.__gnu_cxx::__normal_iterator.350" = type { ptr }

@.str.51 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [79 x i8], align 1
@__PRETTY_FUNCTION__._ZN17HighsImplications19computeImplicationsEib = external hidden unnamed_addr constant [60 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

; 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 uwtable
define dso_local noundef zeroext i1 @_ZN17HighsImplications19computeImplicationsEib(ptr noundef nonnull align 8 dereferenceable(176) %0, i32 noundef %1, i1 noundef zeroext %2) local_unnamed_addr #1 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca i64, align 8
  %5 = alloca %class.anon, align 8
  %6 = alloca %class.anon.347, align 8
  %7 = alloca %class.anon.348, align 8
  %8 = alloca %"class.std::vector.73", align 8
  %9 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %10 = alloca %"struct.std::array", align 4
  %11 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %12 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %13 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %14 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %15 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %16 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %17 = alloca %"class.__gnu_cxx::__normal_iterator.350", align 8
  %18 = alloca %"class.__gnu_cxx::__normal_iterator.350", align 8
  %19 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %20 = getelementptr inbounds i8, ptr %0, i64 88
  %21 = load ptr, ptr %20, align 8, !tbaa !5
  %22 = getelementptr inbounds i8, ptr %21, i64 224
  %23 = tail call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %22) #8
  %24 = getelementptr inbounds i8, ptr %23, i64 912
  %25 = load ptr, ptr %20, align 8, !tbaa !5
  %26 = getelementptr inbounds i8, ptr %25, i64 224
  %27 = tail call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %28 = getelementptr inbounds i8, ptr %27, i64 23528
  %29 = tail call noundef zeroext i1 @_ZN11HighsDomain9propagateEv(ptr noundef nonnull align 8 dereferenceable(824) %24)
  %30 = tail call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %24)
  br i1 %30, label %277, label %31

31:                                               ; preds = %3
  %32 = tail call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %24, i32 noundef %1)
  br i1 %32, label %277, label %33

33:                                               ; preds = %31
  %34 = tail call noundef nonnull align 8 dereferenceable(40) ptr @_ZNK11HighsDomain16getRedundantRowsEv(ptr noundef nonnull align 8 dereferenceable(824) %24)
  %35 = tail call noundef i64 @_ZNK14HighsHashTableIivE4sizeEv(ptr noundef nonnull align 8 dereferenceable(40) %34)
  %36 = icmp eq i64 %35, 0
  br i1 %36, label %38, label %37

37:                                               ; preds = %33
  tail call void @__assert_fail(ptr noundef nonnull @.str.51, ptr noundef nonnull @.str.52, i32 noundef 22, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN17HighsImplications19computeImplicationsEib) #9
  unreachable

38:                                               ; preds = %33
  %39 = getelementptr inbounds i8, ptr %0, i64 144
  %40 = tail call noundef zeroext i1 @_ZStneIvJiiidEEbRKSt8functionIFT_DpT0_EEDn(ptr noundef nonnull align 8 dereferenceable(32) %39, ptr null) #8
  br i1 %40, label %41, label %42

41:                                               ; preds = %38
  tail call void @_ZN11HighsDomain22setRecordRedundantRowsEb(ptr noundef nonnull align 8 dereferenceable(824) %24, i1 noundef zeroext true)
  br label %42

42:                                               ; preds = %41, %38
  %43 = tail call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK11HighsDomain20getDomainChangeStackEv(ptr noundef nonnull align 8 dereferenceable(824) %24)
  %44 = tail call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK11HighsDomain21getDomainChangeReasonEv(ptr noundef nonnull align 8 dereferenceable(824) %24)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #8
  %45 = tail call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK11HighsDomain14getChangedColsEv(ptr noundef nonnull align 8 dereferenceable(824) %24)
  %46 = tail call noundef i64 @_ZNKSt6vectorIiSaIiEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %45) #8
  store i64 %46, ptr %4, align 8, !tbaa !30
  %47 = tail call noundef i64 @_ZNKSt6vectorI17HighsDomainChangeSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %43) #8
  %48 = trunc i64 %47 to i32
  %49 = xor i32 %48, -1
  %50 = tail call i64 @_ZN11HighsDomain6Reason9branchingEv()
  br i1 %2, label %51, label %52

51:                                               ; preds = %42
  tail call void @_ZN11HighsDomain11changeBoundE14HighsBoundTypeidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %24, i32 noundef 0, i32 noundef %1, double noundef 1.000000e+00, i64 %50)
  br label %53

52:                                               ; preds = %42
  tail call void @_ZN11HighsDomain11changeBoundE14HighsBoundTypeidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %24, i32 noundef 1, i32 noundef %1, double noundef 0.000000e+00, i64 %50)
  br label %53

53:                                               ; preds = %52, %51
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %5) #8
  store ptr %0, ptr %5, align 8, !tbaa !31
  %54 = getelementptr inbounds i8, ptr %5, i64 8
  store ptr %24, ptr %54, align 8, !tbaa !33
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #8
  store ptr %24, ptr %6, align 8, !tbaa !33
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %7) #8
  store ptr %24, ptr %7, align 8, !tbaa !33
  %55 = getelementptr inbounds i8, ptr %7, i64 8
  store ptr %5, ptr %55, align 8, !tbaa !33
  %56 = getelementptr inbounds i8, ptr %7, i64 16
  store ptr %6, ptr %56, align 8, !tbaa !33
  %57 = getelementptr inbounds i8, ptr %7, i64 24
  store ptr %4, ptr %57, align 8, !tbaa !33
  %58 = getelementptr inbounds i8, ptr %7, i64 32
  store ptr %28, ptr %58, align 8, !tbaa !33
  %59 = call noundef zeroext i1 @"_ZZN17HighsImplications19computeImplicationsEibENK3$_2clEib"(ptr noundef nonnull align 8 dereferenceable(40) %7, i32 noundef %1, i1 noundef zeroext %2)
  br i1 %59, label %276, label %60

60:                                               ; preds = %53
  %61 = call noundef zeroext i1 @_ZN11HighsDomain9propagateEv(ptr noundef nonnull align 8 dereferenceable(824) %24)
  %62 = call noundef zeroext i1 @"_ZZN17HighsImplications19computeImplicationsEibENK3$_2clEib"(ptr noundef nonnull align 8 dereferenceable(40) %7, i32 noundef %1, i1 noundef zeroext %2)
  br i1 %62, label %276, label %63

63:                                               ; preds = %60
  %64 = call noundef i64 @_ZNKSt6vectorI17HighsDomainChangeSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %43) #8
  %65 = trunc i64 %64 to i32
  %66 = add nsw i32 %65, %49
  %67 = load ptr, ptr %20, align 8, !tbaa !5
  %68 = getelementptr inbounds i8, ptr %67, i64 224
  %69 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %68) #8
  %70 = getelementptr inbounds i8, ptr %69, i64 23168
  call void @_ZN15HighsPseudocost23addInferenceObservationEiib(ptr noundef nonnull align 8 dereferenceable(360) %70, i32 noundef %1, i32 noundef %66, i1 noundef zeroext %2)
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %8) #8
  call void @_ZNSt6vectorI17HighsDomainChangeSaIS0_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  %71 = sext i32 %66 to i64
  invoke void @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE7reserveEm(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %71)
          to label %72 unwind label %93

72:                                               ; preds = %63
  %73 = load ptr, ptr %20, align 8, !tbaa !5
  %74 = getelementptr inbounds i8, ptr %73, i64 224
  %75 = call noundef ptr @_ZNKSt10unique_ptrI18HighsMipSolverDataSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %74) #8
  %76 = getelementptr inbounds i8, ptr %75, i64 23528
  %77 = call noundef i32 @_ZNK16HighsCliqueTable13getNumEntriesEv(ptr noundef nonnull align 8 dereferenceable(488) %76)
  %78 = load ptr, ptr %20, align 8, !tbaa !5
  %79 = invoke noundef i32 @_ZNK14HighsMipSolver10numNonzeroEv(ptr noundef nonnull align 8 dereferenceable(496) %78)
          to label %80 unwind label %95

80:                                               ; preds = %72
  %.093101 = add i32 %48, 1
  %81 = icmp slt i32 %.093101, %65
  br i1 %81, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %80
  %82 = add i32 %79, 100000
  %.not = icmp slt i32 %77, %82
  %83 = sext i32 %.093101 to i64
  br i1 %.not, label %.lr.ph.split, label %.lr.ph.split.us

.lr.ph.split.us:                                  ; preds = %.lr.ph, %91
  %indvars.iv = phi i64 [ %indvars.iv.next, %91 ], [ %83, %.lr.ph ]
  %84 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNKSt6vectorIN11HighsDomain6ReasonESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %44, i64 noundef %indvars.iv) #8
  %85 = load i32, ptr %84, align 4, !tbaa !34
  %86 = icmp eq i32 %85, -5
  br i1 %86, label %87, label %89

87:                                               ; preds = %.lr.ph.split.us
  %88 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNKSt6vectorIN11HighsDomain6ReasonESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %44, i64 noundef %indvars.iv) #8
  br label %91

89:                                               ; preds = %.lr.ph.split.us
  %90 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt6vectorI17HighsDomainChangeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %43, i64 noundef %indvars.iv) #8
  invoke void @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE9push_backERKS0_(ptr noundef nonnull align 8 dereferenceable(24) %8, ptr noundef nonnull align 8 dereferenceable(16) %90)
          to label %91 unwind label %.split.us

91:                                               ; preds = %87, %89
  %indvars.iv.next = add nsw i64 %indvars.iv, 1
  %lftr.wideiv = trunc i64 %indvars.iv.next to i32
  %exitcond.not = icmp eq i32 %lftr.wideiv, %65
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph.split.us, !llvm.loop !36

.split.us:                                        ; preds = %89
  %92 = landingpad { ptr, i32 }
          cleanup
  br label %275

._crit_edge:                                      ; preds = %91, %107, %80
  invoke void @"_ZZN17HighsImplications19computeImplicationsEibENK3$_0clEib"(ptr noundef nonnull align 8 dereferenceable(16) %5, i32 noundef %1, i1 noundef zeroext %2)
          to label %109 unwind label %95

93:                                               ; preds = %63
  %94 = landingpad { ptr, i32 }
          cleanup
  br label %275

95:                                               ; preds = %109, %._crit_edge, %72
  %96 = landingpad { ptr, i32 }
          cleanup
  br label %275

.lr.ph.split:                                     ; preds = %.lr.ph, %107
  %indvars.iv116 = phi i64 [ %indvars.iv.next117, %107 ], [ %83, %.lr.ph ]
  %97 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNKSt6vectorIN11HighsDomain6ReasonESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %44, i64 noundef %indvars.iv116) #8
  %98 = load i32, ptr %97, align 4, !tbaa !34
  %99 = icmp eq i32 %98, -5
  br i1 %99, label %100, label %105

100:                                              ; preds = %.lr.ph.split
  %101 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNKSt6vectorIN11HighsDomain6ReasonESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %44, i64 noundef %indvars.iv116) #8
  %102 = getelementptr inbounds i8, ptr %101, i64 4
  %103 = load i32, ptr %102, align 4, !tbaa !38
  %104 = ashr i32 %103, 1
  %.not109 = icmp eq i32 %104, %1
  br i1 %.not109, label %107, label %105

105:                                              ; preds = %100, %.lr.ph.split
  %106 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt6vectorI17HighsDomainChangeSaIS0_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %43, i64 noundef %indvars.iv116) #8
  invoke void @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE9push_backERKS0_(ptr noundef nonnull align 8 dereferenceable(24) %8, ptr noundef nonnull align 8 dereferenceable(16) %106)
          to label %107 unwind label %.split

107:                                              ; preds = %105, %100
  %indvars.iv.next117 = add nsw i64 %indvars.iv116, 1
  %lftr.wideiv119 = trunc i64 %indvars.iv.next117 to i32
  %exitcond120.not = icmp eq i32 %lftr.wideiv119, %65
  br i1 %exitcond120.not, label %._crit_edge, label %.lr.ph.split, !llvm.loop !36

.split:                                           ; preds = %105
  %108 = landingpad { ptr, i32 }
          cleanup
  br label %275

109:                                              ; preds = %._crit_edge
  %110 = load i64, ptr %4, align 8, !tbaa !30
  invoke void @"_ZZN17HighsImplications19computeImplicationsEibENK3$_1clEm"(ptr noundef nonnull align 8 dereferenceable(8) %6, i64 noundef %110)
          to label %111 unwind label %95

111:                                              ; preds = %109
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #8
  %112 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  %113 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  %114 = invoke ptr @"_ZSt9partitionIN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS2_SaIS2_EEEEZN17HighsImplications19computeImplicationsEibE3$_3ET_SA_SA_T0_"(ptr %112, ptr %113, ptr nonnull %24)
          to label %115 unwind label %124

115:                                              ; preds = %111
  store ptr %114, ptr %9, align 8
  %116 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  invoke void @_Z7pdqsortIN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS2_SaIS2_EEEEEvT_S8_(ptr %116, ptr %114)
          to label %117 unwind label %124

117:                                              ; preds = %115
  %118 = ptrtoint ptr %114 to i64
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %11) #8
  %119 = zext i1 %2 to i32
  call void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4) %11, i32 noundef %1, i32 noundef %119)
  %120 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt5arrayIN16HighsCliqueTable9CliqueVarELm2EEixEm(ptr noundef nonnull align 4 dereferenceable(8) %10, i64 noundef 0) #8
  %121 = load i32, ptr %11, align 4, !tbaa !39
  store i32 %121, ptr %120, align 4, !tbaa !39
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #8
  store i64 %118, ptr %12, align 8, !tbaa !33
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #8
  %122 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  store ptr %122, ptr %13, align 8
  %123 = call noundef zeroext i1 @_ZN9__gnu_cxxneIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #8
  br i1 %123, label %.lr.ph104, label %._crit_edge105

124:                                              ; preds = %115, %111
  %125 = landingpad { ptr, i32 }
          cleanup
  br label %274

.lr.ph104:                                        ; preds = %117, %151
  %126 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %127 = getelementptr inbounds i8, ptr %126, i64 12
  %128 = load i32, ptr %127, align 4, !tbaa !40
  %129 = icmp eq i32 %128, 0
  br i1 %129, label %130, label %136

130:                                              ; preds = %.lr.ph104
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %14) #8
  %131 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %132 = getelementptr inbounds i8, ptr %131, i64 8
  %133 = load i32, ptr %132, align 8, !tbaa !44
  call void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4) %14, i32 noundef %133, i32 noundef 0)
  %134 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt5arrayIN16HighsCliqueTable9CliqueVarELm2EEixEm(ptr noundef nonnull align 4 dereferenceable(8) %10, i64 noundef 1) #8
  %135 = load i32, ptr %14, align 4, !tbaa !39
  store i32 %135, ptr %134, align 4, !tbaa !39
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #8
  br label %142

136:                                              ; preds = %.lr.ph104
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %15) #8
  %137 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %138 = getelementptr inbounds i8, ptr %137, i64 8
  %139 = load i32, ptr %138, align 8, !tbaa !44
  call void @_ZN16HighsCliqueTable9CliqueVarC2Eii(ptr noundef nonnull align 4 dereferenceable(4) %15, i32 noundef %139, i32 noundef 1)
  %140 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt5arrayIN16HighsCliqueTable9CliqueVarELm2EEixEm(ptr noundef nonnull align 4 dereferenceable(8) %10, i64 noundef 1) #8
  %141 = load i32, ptr %15, align 4, !tbaa !39
  store i32 %141, ptr %140, align 4, !tbaa !39
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #8
  br label %142

142:                                              ; preds = %136, %130
  %143 = load ptr, ptr %20, align 8, !tbaa !5
  %144 = call noundef ptr @_ZNSt5arrayIN16HighsCliqueTable9CliqueVarELm2EE4dataEv(ptr noundef nonnull align 4 dereferenceable(8) %10) #10
  invoke void @_ZN16HighsCliqueTable9addCliqueERK14HighsMipSolverPNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488) %28, ptr noundef nonnull align 8 dereferenceable(496) %143, ptr noundef %144, i32 noundef 2, i1 noundef zeroext false, i32 noundef 2147483647)
          to label %145 unwind label %149

145:                                              ; preds = %142
  %146 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %24)
  br i1 %146, label %155, label %147

147:                                              ; preds = %145
  %148 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %24, i32 noundef %1)
  br i1 %148, label %155, label %151

149:                                              ; preds = %142
  %150 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #8
  br label %273

151:                                              ; preds = %147
  %152 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #8
  %153 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  store ptr %153, ptr %13, align 8
  %154 = call noundef zeroext i1 @_ZN9__gnu_cxxneIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #8
  br i1 %154, label %.lr.ph104, label %._crit_edge105, !llvm.loop !45

155:                                              ; preds = %145, %147
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #8
  br label %271

._crit_edge105:                                   ; preds = %151, %117
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #8
  %156 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  store ptr %156, ptr %16, align 8
  %157 = call noundef zeroext i1 @_ZN9__gnu_cxxneIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  br i1 %157, label %.lr.ph107, label %._crit_edge108

.lr.ph107:                                        ; preds = %._crit_edge105
  %158 = getelementptr inbounds i8, ptr %23, i64 1712
  %159 = getelementptr inbounds i8, ptr %23, i64 1688
  br label %170

._crit_edge108:                                   ; preds = %256, %._crit_edge105
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #8
  %160 = shl nsw i32 %1, 1
  %161 = or disjoint i32 %160, %119
  %162 = getelementptr inbounds i8, ptr %0, i64 8
  %163 = sext i32 %161 to i64
  %164 = call noundef nonnull align 8 dereferenceable(25) ptr @_ZNSt6vectorIN17HighsImplications7ImplicsESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %162, i64 noundef %163) #8
  %165 = getelementptr inbounds i8, ptr %164, i64 24
  store i8 1, ptr %165, align 8, !tbaa !46
  call void @_ZN9__gnu_cxx17__normal_iteratorIPK17HighsDomainChangeSt6vectorIS1_SaIS1_EEEC2IPS1_vEERKNS0_IT_S6_EE(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #8
  %166 = call ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  store ptr %166, ptr %19, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPK17HighsDomainChangeSt6vectorIS1_SaIS1_EEEC2IPS1_vEERKNS0_IT_S6_EE(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %19) #8
  %167 = load ptr, ptr %17, align 8
  %168 = load ptr, ptr %18, align 8
  %169 = invoke ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS0_S2_EES7_(ptr noundef nonnull align 8 dereferenceable(24) %8, ptr %167, ptr %168)
          to label %259 unwind label %269

170:                                              ; preds = %.lr.ph107, %256
  %171 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %172 = getelementptr inbounds i8, ptr %171, i64 12
  %173 = load i32, ptr %172, align 4, !tbaa !40
  %174 = icmp eq i32 %173, 0
  %175 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %176 = getelementptr inbounds i8, ptr %175, i64 8
  %177 = load i32, ptr %176, align 8, !tbaa !44
  br i1 %174, label %178, label %218

178:                                              ; preds = %170
  br i1 %2, label %179, label %204

179:                                              ; preds = %178
  %180 = sext i32 %177 to i64
  %181 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %159, i64 noundef %180) #8
  %182 = load double, ptr %181, align 8, !tbaa !53
  %183 = fcmp une double %182, 0xFFF0000000000000
  br i1 %183, label %184, label %256

184:                                              ; preds = %179
  %185 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %186 = getelementptr inbounds i8, ptr %185, i64 8
  %187 = load i32, ptr %186, align 8, !tbaa !44
  %188 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %189 = load double, ptr %188, align 8, !tbaa !54
  %190 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %191 = getelementptr inbounds i8, ptr %190, i64 8
  %192 = load i32, ptr %191, align 8, !tbaa !44
  %193 = sext i32 %192 to i64
  %194 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %159, i64 noundef %193) #8
  %195 = load double, ptr %194, align 8, !tbaa !53
  %196 = fsub double %189, %195
  %197 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %198 = getelementptr inbounds i8, ptr %197, i64 8
  %199 = load i32, ptr %198, align 8, !tbaa !44
  %200 = sext i32 %199 to i64
  %201 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %159, i64 noundef %200) #8
  br label %.invoke122

202:                                              ; preds = %.invoke122, %.invoke
  %203 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #8
  br label %273

204:                                              ; preds = %178
  %205 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %206 = getelementptr inbounds i8, ptr %205, i64 8
  %207 = load i32, ptr %206, align 8, !tbaa !44
  %208 = sext i32 %207 to i64
  %209 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %159, i64 noundef %208) #8
  %210 = load double, ptr %209, align 8, !tbaa !53
  %211 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %212 = load double, ptr %211, align 8, !tbaa !54
  %213 = fsub double %210, %212
  %214 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  br label %.invoke122

.invoke122:                                       ; preds = %184, %204
  %.sink = phi ptr [ %201, %184 ], [ %214, %204 ]
  %215 = phi i32 [ %187, %184 ], [ %177, %204 ]
  %216 = phi double [ %196, %184 ], [ %213, %204 ]
  %217 = load double, ptr %.sink, align 8, !tbaa !53
  invoke void @_ZN17HighsImplications6addVLBEiidd(ptr noundef nonnull align 8 dereferenceable(176) %0, i32 noundef %215, i32 noundef %1, double noundef %216, double noundef %217)
          to label %256 unwind label %202

218:                                              ; preds = %170
  br i1 %2, label %219, label %242

219:                                              ; preds = %218
  %220 = sext i32 %177 to i64
  %221 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %158, i64 noundef %220) #8
  %222 = load double, ptr %221, align 8, !tbaa !53
  %223 = fcmp une double %222, 0x7FF0000000000000
  br i1 %223, label %224, label %256

224:                                              ; preds = %219
  %225 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %226 = getelementptr inbounds i8, ptr %225, i64 8
  %227 = load i32, ptr %226, align 8, !tbaa !44
  %228 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %229 = load double, ptr %228, align 8, !tbaa !54
  %230 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %231 = getelementptr inbounds i8, ptr %230, i64 8
  %232 = load i32, ptr %231, align 8, !tbaa !44
  %233 = sext i32 %232 to i64
  %234 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %158, i64 noundef %233) #8
  %235 = load double, ptr %234, align 8, !tbaa !53
  %236 = fsub double %229, %235
  %237 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %238 = getelementptr inbounds i8, ptr %237, i64 8
  %239 = load i32, ptr %238, align 8, !tbaa !44
  %240 = sext i32 %239 to i64
  %241 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %158, i64 noundef %240) #8
  br label %.invoke

242:                                              ; preds = %218
  %243 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %244 = getelementptr inbounds i8, ptr %243, i64 8
  %245 = load i32, ptr %244, align 8, !tbaa !44
  %246 = sext i32 %245 to i64
  %247 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %158, i64 noundef %246) #8
  %248 = load double, ptr %247, align 8, !tbaa !53
  %249 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %250 = load double, ptr %249, align 8, !tbaa !54
  %251 = fsub double %248, %250
  %252 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  br label %.invoke

.invoke:                                          ; preds = %224, %242
  %.sink123 = phi ptr [ %241, %224 ], [ %252, %242 ]
  %253 = phi i32 [ %227, %224 ], [ %177, %242 ]
  %254 = phi double [ %236, %224 ], [ %251, %242 ]
  %255 = load double, ptr %.sink123, align 8, !tbaa !53
  invoke void @_ZN17HighsImplications6addVUBEiidd(ptr noundef nonnull align 8 dereferenceable(176) %0, i32 noundef %253, i32 noundef %1, double noundef %254, double noundef %255)
          to label %256 unwind label %202

256:                                              ; preds = %.invoke122, %.invoke, %179, %219
  %257 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %258 = call noundef zeroext i1 @_ZN9__gnu_cxxneIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  br i1 %258, label %170, label %._crit_edge108, !llvm.loop !55

259:                                              ; preds = %._crit_edge108
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #8
  %260 = call noundef zeroext i1 @_ZNKSt6vectorI17HighsDomainChangeSaIS0_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  br i1 %260, label %271, label %261

261:                                              ; preds = %259
  %262 = call noundef nonnull align 8 dereferenceable(25) ptr @_ZNSt6vectorIN17HighsImplications7ImplicsESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %162, i64 noundef %163) #8
  %263 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorI17HighsDomainChangeSaIS0_EEaSEOS2_(ptr noundef nonnull align 8 dereferenceable(24) %262, ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  %264 = call noundef nonnull align 8 dereferenceable(25) ptr @_ZNSt6vectorIN17HighsImplications7ImplicsESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %162, i64 noundef %163) #8
  %265 = call noundef i64 @_ZNKSt6vectorI17HighsDomainChangeSaIS0_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %264) #8
  %266 = getelementptr inbounds i8, ptr %0, i64 32
  %267 = load i64, ptr %266, align 8, !tbaa !56
  %268 = add i64 %267, %265
  store i64 %268, ptr %266, align 8, !tbaa !56
  br label %271

269:                                              ; preds = %._crit_edge108
  %270 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #8
  br label %273

271:                                              ; preds = %155, %259, %261
  %272 = phi i1 [ true, %155 ], [ false, %259 ], [ false, %261 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  call void @_ZNSt6vectorI17HighsDomainChangeSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #8
  br label %276

273:                                              ; preds = %269, %202, %149
  %.pn = phi { ptr, i32 } [ %203, %202 ], [ %270, %269 ], [ %150, %149 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #8
  br label %274

274:                                              ; preds = %273, %124
  %.pn.pn = phi { ptr, i32 } [ %.pn, %273 ], [ %125, %124 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  br label %275

275:                                              ; preds = %.split, %.split.us, %95, %274, %93
  %.pn96.pn = phi { ptr, i32 } [ %94, %93 ], [ %.pn.pn, %274 ], [ %96, %95 ], [ %108, %.split ], [ %92, %.split.us ]
  call void @_ZNSt6vectorI17HighsDomainChangeSaIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #8
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #8
  resume { ptr, i32 } %.pn96.pn

276:                                              ; preds = %60, %53, %271
  %.2 = phi i1 [ %272, %271 ], [ true, %53 ], [ true, %60 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #8
  br label %277

277:                                              ; preds = %3, %31, %276
  %.3 = phi i1 [ %.2, %276 ], [ true, %31 ], [ true, %3 ]
  ret i1 %.3
}

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

declare noundef zeroext i1 @_ZN11HighsDomain9propagateEv(ptr noundef nonnull align 8 dereferenceable(824)) local_unnamed_addr #3

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

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

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

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

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #4

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

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

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

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

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef zeroext i1 @"_ZZN17HighsImplications19computeImplicationsEibENK3$_2clEib"(ptr noundef nonnull align 8 dereferenceable(40), i32 noundef, i1 noundef zeroext) local_unnamed_addr #6 align 2

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

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

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

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZN17HighsImplications19computeImplicationsEibENK3$_0clEib"(ptr noundef nonnull align 8 dereferenceable(16), i32 noundef, i1 noundef zeroext) local_unnamed_addr #6 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @"_ZZN17HighsImplications19computeImplicationsEibENK3$_1clEm"(ptr noundef nonnull align 8 dereferenceable(8), i64 noundef) local_unnamed_addr #6 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden ptr @"_ZSt9partitionIN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS2_SaIS2_EEEEZN17HighsImplications19computeImplicationsEibE3$_3ET_SA_SA_T0_"(ptr, ptr, ptr) local_unnamed_addr #6

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_Z7pdqsortIN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS2_SaIS2_EEEEEvT_S8_(ptr, ptr) local_unnamed_addr #6

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

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

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

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

declare void @_ZN16HighsCliqueTable9addCliqueERK14HighsMipSolverPNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 8 dereferenceable(496), ptr noundef, i32 noundef, i1 noundef zeroext, i32 noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nofree nosync nounwind willreturn memory(none) uwtable
declare dso_local noundef ptr @_ZNSt5arrayIN16HighsCliqueTable9CliqueVarELm2EE4dataEv(ptr noundef nonnull align 4 dereferenceable(8)) local_unnamed_addr #7 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIP17HighsDomainChangeSt6vectorIS1_SaIS1_EEEppEv(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 @_ZNSt6vectorIdSaIdEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #2 align 2

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

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

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

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

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

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

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

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { 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 #2 = { 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 #3 = { "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 = { noreturn nounwind "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 = { 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 #7 = { mustprogress nofree nosync nounwind willreturn memory(none) 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 #8 = { nounwind }
attributes #9 = { noreturn nounwind }
attributes #10 = { nounwind willreturn memory(none) }

!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, !14, i64 88}
!6 = !{!"_ZTS17HighsImplications", !7, i64 0, !10, i64 8, !15, i64 32, !16, i64 40, !16, i64 64, !14, i64 88, !20, i64 96, !24, i64 120, !28, i64 144}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"_ZTSSt6vectorIN17HighsImplications7ImplicsESaIS1_EE", !11, i64 0}
!11 = !{!"_ZTSSt12_Vector_baseIN17HighsImplications7ImplicsESaIS1_EE", !12, i64 0}
!12 = !{!"_ZTSNSt12_Vector_baseIN17HighsImplications7ImplicsESaIS1_EE12_Vector_implE", !13, i64 0}
!13 = !{!"_ZTSNSt12_Vector_baseIN17HighsImplications7ImplicsESaIS1_EE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!14 = !{!"any pointer", !8, i64 0}
!15 = !{!"long", !8, i64 0}
!16 = !{!"_ZTSSt6vectorI13HighsHashTreeIiN17HighsImplications8VarBoundEESaIS3_EE", !17, i64 0}
!17 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIiN17HighsImplications8VarBoundEESaIS3_EE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiN17HighsImplications8VarBoundEESaIS3_EE12_Vector_implE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiN17HighsImplications8VarBoundEESaIS3_EE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!20 = !{!"_ZTSSt6vectorI17HighsSubstitutionSaIS0_EE", !21, i64 0}
!21 = !{!"_ZTSSt12_Vector_baseI17HighsSubstitutionSaIS0_EE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseI17HighsSubstitutionSaIS0_EE12_Vector_implE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseI17HighsSubstitutionSaIS0_EE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!24 = !{!"_ZTSSt6vectorIhSaIhEE", !25, i64 0}
!25 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!28 = !{!"_ZTSSt8functionIFviiidEE", !29, i64 0, !14, i64 24}
!29 = !{!"_ZTSSt14_Function_base", !8, i64 0, !14, i64 16}
!30 = !{!15, !15, i64 0}
!31 = !{!32, !14, i64 0}
!32 = !{!"_ZTSZN17HighsImplications19computeImplicationsEibE3$_0", !14, i64 0, !14, i64 8}
!33 = !{!14, !14, i64 0}
!34 = !{!35, !7, i64 0}
!35 = !{!"_ZTSN11HighsDomain6ReasonE", !7, i64 0, !7, i64 4}
!36 = distinct !{!36, !37}
!37 = !{!"llvm.loop.mustprogress"}
!38 = !{!35, !7, i64 4}
!39 = !{!8, !8, i64 0}
!40 = !{!41, !43, i64 12}
!41 = !{!"_ZTS17HighsDomainChange", !42, i64 0, !7, i64 8, !43, i64 12}
!42 = !{!"double", !8, i64 0}
!43 = !{!"_ZTS14HighsBoundType", !8, i64 0}
!44 = !{!41, !7, i64 8}
!45 = distinct !{!45, !37}
!46 = !{!47, !52, i64 24}
!47 = !{!"_ZTSN17HighsImplications7ImplicsE", !48, i64 0, !52, i64 24}
!48 = !{!"_ZTSSt6vectorI17HighsDomainChangeSaIS0_EE", !49, i64 0}
!49 = !{!"_ZTSSt12_Vector_baseI17HighsDomainChangeSaIS0_EE", !50, i64 0}
!50 = !{!"_ZTSNSt12_Vector_baseI17HighsDomainChangeSaIS0_EE12_Vector_implE", !51, i64 0}
!51 = !{!"_ZTSNSt12_Vector_baseI17HighsDomainChangeSaIS0_EE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!52 = !{!"bool", !8, i64 0}
!53 = !{!42, !42, i64 0}
!54 = !{!41, !42, i64 0}
!55 = distinct !{!55, !37}
!56 = !{!6, !15, i64 32}


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