; LLVM IR from EricZinda/InductorHtn :: src/FXPlatform/Prolog (HtnRuleSet)

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

%"class.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] }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"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.std::allocator.12" = type { i8 }
%"class.std::shared_ptr.44" = type { %"class.std::__shared_ptr.45" }
%"class.std::__shared_ptr.45" = type { ptr, %"class.std::__shared_count" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::shared_ptr<HtnTerm>, std::allocator<std::shared_ptr<HtnTerm>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::shared_ptr<HtnTerm>, std::allocator<std::shared_ptr<HtnTerm>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::shared_ptr<HtnTerm>, std::allocator<std::shared_ptr<HtnTerm>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::shared_ptr<HtnTerm>, std::allocator<std::shared_ptr<HtnTerm>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::_Rb_tree_iterator" = type { ptr }
%"struct.std::pair.42" = type { i64, %"class.HtnRuleSet::FactDiffItem" }
%"class.HtnRuleSet::FactDiffItem" = type { i8, i32, %"class.std::shared_ptr.44" }
%"struct.std::pair.49" = type <{ %"struct.std::_Rb_tree_iterator", i8, [7 x i8] }>
%"struct.std::pair.56" = type { i32, %"class.std::shared_ptr.44" }
%"struct.std::pair.52" = type <{ %"struct.std::_Rb_tree_iterator.54", i8, [7 x i8] }>
%"struct.std::_Rb_tree_iterator.54" = type { ptr }
%class.HtnRuleSet = type { %"class.std::enable_shared_from_this.21", i64, %"class.std::map", i32, %"class.std::map.28", %"class.std::shared_ptr.34" }
%"class.std::enable_shared_from_this.21" = type { %"class.std::weak_ptr.22" }
%"class.std::weak_ptr.22" = type { %"class.std::__weak_ptr.23" }
%"class.std::__weak_ptr.23" = type { ptr, %"class.std::__weak_count" }
%"class.std::__weak_count" = type { ptr }
%"class.std::map" = type { %"class.std::_Rb_tree.24" }
%"class.std::_Rb_tree.24" = type { %"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, HtnRuleSet::FactDiffItem>, std::_Select1st<std::pair<const unsigned long, HtnRuleSet::FactDiffItem>>, std::less<unsigned long>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, HtnRuleSet::FactDiffItem>, std::_Select1st<std::pair<const unsigned long, HtnRuleSet::FactDiffItem>>, std::less<unsigned long>>::_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::map.28" = type { %"class.std::_Rb_tree.29" }
%"class.std::_Rb_tree.29" = type { %"struct.std::_Rb_tree<int, std::pair<const int, std::shared_ptr<HtnRule>>, std::_Select1st<std::pair<const int, std::shared_ptr<HtnRule>>>, std::less<int>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<int, std::pair<const int, std::shared_ptr<HtnRule>>, std::_Select1st<std::pair<const int, std::shared_ptr<HtnRule>>>, std::less<int>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::shared_ptr.34" = type { %"class.std::__shared_ptr.35" }
%"class.std::__shared_ptr.35" = type { ptr, %"class.std::__shared_count" }

@.str = external hidden unnamed_addr constant [15 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [92 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [45 x i8], align 1

declare void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef, i1 noundef zeroext, ptr noundef, ptr noundef, i64 noundef) #0

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

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

declare i32 @__gxx_personality_v0(...)

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

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

declare noundef i64 @_ZNK7HtnTerm11GetUniqueIDEv(ptr noundef nonnull align 8 dereferenceable(72)) #0

declare noundef zeroext i1 @_ZNK7HtnTerm8isGroundEv(ptr noundef nonnull align 8 dereferenceable(72)) #0

declare void @_ZN7HtnTerm8ToStringB5cxx11Ebb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(72), i1 noundef zeroext, i1 noundef zeroext) #0

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef, ptr noundef nonnull align 8 dereferenceable(32)) #4

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

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

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

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

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #5

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

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znwm(i64 noundef) #6

; Function Attrs: nobuiltin nounwind
declare void @_ZdlPvm(ptr noundef, i64 noundef) #7

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN10HtnRuleSet6UpdateEP14HtnTermFactoryRKSt6vectorISt10shared_ptrI7HtnTermESaIS5_EES9_(ptr noundef nonnull align 8 dereferenceable(144) %0, ptr noundef %1, ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(24) %3) #3 align 2 personality ptr @__gxx_personality_v0 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %11 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %12 = alloca %"class.std::shared_ptr", align 8
  %13 = alloca ptr, align 8
  %14 = alloca i32, align 4
  %15 = alloca %"class.std::__cxx11::basic_string", align 8
  %16 = alloca %"class.std::__cxx11::basic_string", align 8
  %17 = alloca %"class.std::shared_ptr", align 8
  %18 = alloca %"class.std::__cxx11::basic_string", align 8
  %19 = alloca %"class.std::__cxx11::basic_string", align 8
  %20 = alloca %"class.std::allocator.12", align 1
  %21 = alloca %"class.std::__cxx11::basic_string", align 8
  %22 = alloca %"class.std::shared_ptr.44", align 8
  %23 = alloca %"class.std::shared_ptr", align 8
  %24 = alloca %"class.std::vector", align 8
  %25 = alloca i1, align 1
  %26 = alloca i64, align 8
  %27 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %28 = alloca i32, align 4
  %29 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %30 = alloca %"struct.std::pair.42", align 8
  %31 = alloca %"class.HtnRuleSet::FactDiffItem", align 8
  %32 = alloca %"class.std::shared_ptr.44", align 8
  %33 = alloca %"struct.std::pair.49", align 8
  %34 = alloca %"class.HtnRuleSet::FactDiffItem", align 8
  %35 = alloca %"class.std::shared_ptr.44", align 8
  %36 = alloca i64, align 8
  %37 = alloca ptr, align 8
  %38 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %39 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %40 = alloca %"class.std::shared_ptr", align 8
  %41 = alloca %"class.std::__cxx11::basic_string", align 8
  %42 = alloca %"class.std::__cxx11::basic_string", align 8
  %43 = alloca %"class.std::shared_ptr", align 8
  %44 = alloca %"class.std::__cxx11::basic_string", align 8
  %45 = alloca %"class.std::__cxx11::basic_string", align 8
  %46 = alloca %"class.std::allocator.12", align 1
  %47 = alloca %"class.std::__cxx11::basic_string", align 8
  %48 = alloca %"class.std::shared_ptr.44", align 8
  %49 = alloca %"class.std::shared_ptr", align 8
  %50 = alloca %"class.std::vector", align 8
  %51 = alloca i1, align 1
  %52 = alloca i32, align 4
  %53 = alloca i64, align 8
  %54 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %55 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %56 = alloca %"struct.std::pair.42", align 8
  %57 = alloca %"class.HtnRuleSet::FactDiffItem", align 8
  %58 = alloca %"class.std::shared_ptr.44", align 8
  %59 = alloca %"struct.std::pair.49", align 8
  %60 = alloca %"class.HtnRuleSet::FactDiffItem", align 8
  %61 = alloca %"class.std::shared_ptr.44", align 8
  %62 = alloca %"struct.std::pair.56", align 8
  %63 = alloca %"struct.std::pair.52", align 8
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  store ptr %3, ptr %8, align 8, !tbaa !5
  %64 = load ptr, ptr %5, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #9
  %65 = load ptr, ptr %7, align 8, !tbaa !5
  store ptr %65, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #9
  %66 = load ptr, ptr %9, align 8, !tbaa !5
  %67 = call ptr @_ZNKSt6vectorISt10shared_ptrI7HtnTermESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %66) #9
  %68 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %10, i32 0, i32 0
  store ptr %67, ptr %68, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #9
  %69 = load ptr, ptr %9, align 8, !tbaa !5
  %70 = call ptr @_ZNKSt6vectorISt10shared_ptrI7HtnTermESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %69) #9
  %71 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %11, i32 0, i32 0
  store ptr %70, ptr %71, align 8
  br label %72

72:                                               ; preds = %244, %4
  %73 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %11) #9
  br i1 %73, label %75, label %74

74:                                               ; preds = %72
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #9
  br label %251

75:                                               ; preds = %72
  call void @llvm.lifetime.start.p0(i64 16, ptr %12) #9
  %76 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %10) #9
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %12, ptr noundef nonnull align 8 dereferenceable(16) %76) #9
  %77 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %12) #9
  %78 = invoke noundef zeroext i1 @_ZNK7HtnTerm8isGroundEv(ptr noundef nonnull align 8 dereferenceable(72) %77)
          to label %79 unwind label %95

79:                                               ; preds = %75
  call void @llvm.lifetime.start.p0(i64 32, ptr %15) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr %16) #9
  %80 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %12) #9
  invoke void @_ZN7HtnTerm8ToStringB5cxx11Ebb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %16, ptr noundef nonnull align 8 dereferenceable(72) %80, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %81 unwind label %99

81:                                               ; preds = %79
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %15, ptr noundef @.str.5, ptr noundef nonnull align 8 dereferenceable(32) %16)
          to label %82 unwind label %103

82:                                               ; preds = %81
  %83 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %15) #9
  invoke void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef %64, i1 noundef zeroext %78, ptr noundef %83, ptr noundef @.str.1, i64 noundef 306)
          to label %84 unwind label %107

84:                                               ; preds = %82
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #9
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %17, ptr noundef nonnull align 8 dereferenceable(16) %12) #9
  %85 = invoke noundef zeroext i1 @_ZNK10HtnRuleSet7HasFactESt10shared_ptrI7HtnTermE(ptr noundef nonnull align 8 dereferenceable(144) %64, ptr noundef %17)
          to label %86 unwind label %113

86:                                               ; preds = %84
  %87 = xor i1 %85, true
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %17) #9
  br i1 %87, label %88, label %136

88:                                               ; preds = %86
  call void @llvm.lifetime.start.p0(i64 32, ptr %18) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr %19) #9
  call void @llvm.lifetime.start.p0(i64 1, ptr %20) #9
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #9
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef @.str.6, ptr noundef nonnull align 1 dereferenceable(1) %20)
          to label %89 unwind label %117

89:                                               ; preds = %88
  call void @llvm.lifetime.start.p0(i64 32, ptr %21) #9
  %90 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %12) #9
  invoke void @_ZN7HtnTerm8ToStringB5cxx11Ebb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %21, ptr noundef nonnull align 8 dereferenceable(72) %90, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %91 unwind label %121

91:                                               ; preds = %89
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_S9_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %18, ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(32) %21)
          to label %92 unwind label %125

92:                                               ; preds = %91
  %93 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %18) #9
  invoke void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef %64, i1 noundef zeroext false, ptr noundef %93, ptr noundef @.str.1, i64 noundef 311)
          to label %94 unwind label %129

94:                                               ; preds = %92
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %21) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #9
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #9
  br label %136

95:                                               ; preds = %75
  %96 = landingpad { ptr, i32 }
          cleanup
  %97 = extractvalue { ptr, i32 } %96, 0
  store ptr %97, ptr %13, align 8
  %98 = extractvalue { ptr, i32 } %96, 1
  store i32 %98, ptr %14, align 4
  br label %250

99:                                               ; preds = %79
  %100 = landingpad { ptr, i32 }
          cleanup
  %101 = extractvalue { ptr, i32 } %100, 0
  store ptr %101, ptr %13, align 8
  %102 = extractvalue { ptr, i32 } %100, 1
  store i32 %102, ptr %14, align 4
  br label %112

103:                                              ; preds = %81
  %104 = landingpad { ptr, i32 }
          cleanup
  %105 = extractvalue { ptr, i32 } %104, 0
  store ptr %105, ptr %13, align 8
  %106 = extractvalue { ptr, i32 } %104, 1
  store i32 %106, ptr %14, align 4
  br label %111

107:                                              ; preds = %82
  %108 = landingpad { ptr, i32 }
          cleanup
  %109 = extractvalue { ptr, i32 } %108, 0
  store ptr %109, ptr %13, align 8
  %110 = extractvalue { ptr, i32 } %108, 1
  store i32 %110, ptr %14, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #9
  br label %111

111:                                              ; preds = %107, %103
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #9
  br label %112

112:                                              ; preds = %111, %99
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #9
  br label %250

113:                                              ; preds = %84
  %114 = landingpad { ptr, i32 }
          cleanup
  %115 = extractvalue { ptr, i32 } %114, 0
  store ptr %115, ptr %13, align 8
  %116 = extractvalue { ptr, i32 } %114, 1
  store i32 %116, ptr %14, align 4
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %17) #9
  br label %250

117:                                              ; preds = %88
  %118 = landingpad { ptr, i32 }
          cleanup
  %119 = extractvalue { ptr, i32 } %118, 0
  store ptr %119, ptr %13, align 8
  %120 = extractvalue { ptr, i32 } %118, 1
  store i32 %120, ptr %14, align 4
  br label %135

121:                                              ; preds = %89
  %122 = landingpad { ptr, i32 }
          cleanup
  %123 = extractvalue { ptr, i32 } %122, 0
  store ptr %123, ptr %13, align 8
  %124 = extractvalue { ptr, i32 } %122, 1
  store i32 %124, ptr %14, align 4
  br label %134

125:                                              ; preds = %91
  %126 = landingpad { ptr, i32 }
          cleanup
  %127 = extractvalue { ptr, i32 } %126, 0
  store ptr %127, ptr %13, align 8
  %128 = extractvalue { ptr, i32 } %126, 1
  store i32 %128, ptr %14, align 4
  br label %133

129:                                              ; preds = %92
  %130 = landingpad { ptr, i32 }
          cleanup
  %131 = extractvalue { ptr, i32 } %130, 0
  store ptr %131, ptr %13, align 8
  %132 = extractvalue { ptr, i32 } %130, 1
  store i32 %132, ptr %14, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #9
  br label %133

133:                                              ; preds = %129, %125
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #9
  br label %134

134:                                              ; preds = %133, %121
  call void @llvm.lifetime.end.p0(i64 32, ptr %21) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #9
  br label %135

135:                                              ; preds = %134, %117
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #9
  br label %250

136:                                              ; preds = %94, %86
  call void @llvm.lifetime.start.p0(i64 16, ptr %22) #9
  %137 = invoke noalias noundef nonnull ptr @_Znwm(i64 noundef 40) #10
          to label %138 unwind label %174

138:                                              ; preds = %136
  store i1 true, ptr %25, align 1
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %23, ptr noundef nonnull align 8 dereferenceable(16) %12) #9
  call void @llvm.memset.p0.i64(ptr align 8 %24, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #9
  invoke void @_ZN7HtnRuleC2ESt10shared_ptrI7HtnTermESt6vectorIS2_SaIS2_EE(ptr noundef nonnull align 8 dereferenceable(40) %137, ptr noundef %23, ptr noundef %24)
          to label %139 unwind label %178

139:                                              ; preds = %138
  store i1 false, ptr %25, align 1
  invoke void @_ZNSt10shared_ptrI7HtnRuleEC2IS0_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %22, ptr noundef %137)
          to label %140 unwind label %178

140:                                              ; preds = %139
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %23) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #9
  %141 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %12) #9
  %142 = invoke noundef i64 @_ZNK7HtnTerm11GetUniqueIDEv(ptr noundef nonnull align 8 dereferenceable(72) %141)
          to label %143 unwind label %185

143:                                              ; preds = %140
  store i64 %142, ptr %26, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #9
  %144 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 2
  %145 = invoke ptr @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE4findERS5_(ptr noundef nonnull align 8 dereferenceable(48) %144, ptr noundef nonnull align 8 dereferenceable(8) %26)
          to label %146 unwind label %189

146:                                              ; preds = %143
  %147 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %27, i32 0, i32 0
  store ptr %145, ptr %147, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #9
  store i32 -1, ptr %28, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #9
  %148 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 2
  %149 = call ptr @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %148) #9
  %150 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %29, i32 0, i32 0
  store ptr %149, ptr %150, align 8
  %151 = call noundef zeroext i1 @_ZSteqRKSt17_Rb_tree_iteratorISt4pairIKmN10HtnRuleSet12FactDiffItemEEES7_(ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull align 8 dereferenceable(8) %29) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #9
  br i1 %151, label %152, label %211

152:                                              ; preds = %146
  %153 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 2
  call void @llvm.lifetime.start.p0(i64 32, ptr %30) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr %31) #9
  %154 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 3
  %155 = load i32, ptr %154, align 8, !tbaa !13
  call void @_ZNSt10shared_ptrI7HtnRuleEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %32, ptr noundef nonnull align 8 dereferenceable(16) %22) #9
  invoke void @_ZN10HtnRuleSet12FactDiffItemC2EbiSt10shared_ptrI7HtnRuleE(ptr noundef nonnull align 8 dereferenceable(24) %31, i1 noundef zeroext false, i32 noundef %155, ptr noundef %32)
          to label %156 unwind label %193

156:                                              ; preds = %152
  invoke void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEEC2IRmS2_TnNSt9enable_ifIXaaclsr5_PCCPE22_MoveConstructiblePairIT_T0_EEclsr5_PCCPE30_ImplicitlyMoveConvertiblePairIS7_S8_EEEbE4typeELb1EEEOS7_OS8_(ptr noundef nonnull align 8 dereferenceable(32) %30, ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(24) %31)
          to label %157 unwind label %197

157:                                              ; preds = %156
  %158 = invoke { ptr, i8 } @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE6insertEOS6_(ptr noundef nonnull align 8 dereferenceable(48) %153, ptr noundef nonnull align 8 dereferenceable(32) %30)
          to label %159 unwind label %201

159:                                              ; preds = %157
  %160 = getelementptr inbounds { ptr, i8 }, ptr %33, i32 0, i32 0
  %161 = extractvalue { ptr, i8 } %158, 0
  store ptr %161, ptr %160, align 8
  %162 = getelementptr inbounds { ptr, i8 }, ptr %33, i32 0, i32 1
  %163 = extractvalue { ptr, i8 } %158, 1
  store i8 %163, ptr %162, align 8
  call void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #9
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %31) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %32) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %31) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %30) #9
  %164 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 3
  %165 = load i32, ptr %164, align 8, !tbaa !13
  %166 = add nsw i32 %165, 1
  store i32 %166, ptr %164, align 8, !tbaa !13
  %167 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnRuleLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %22) #9
  %168 = invoke noundef i64 @_ZN7HtnRule11dynamicSizeEv(ptr noundef nonnull align 8 dereferenceable(40) %167)
          to label %169 unwind label %207

169:                                              ; preds = %159
  %170 = add i64 -8, %168
  %171 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 1
  %172 = load i64, ptr %171, align 8, !tbaa !35
  %173 = add i64 %172, %170
  store i64 %173, ptr %171, align 8, !tbaa !35
  br label %229

174:                                              ; preds = %136
  %175 = landingpad { ptr, i32 }
          cleanup
  %176 = extractvalue { ptr, i32 } %175, 0
  store ptr %176, ptr %13, align 8
  %177 = extractvalue { ptr, i32 } %175, 1
  store i32 %177, ptr %14, align 4
  br label %249

178:                                              ; preds = %139, %138
  %179 = landingpad { ptr, i32 }
          cleanup
  %180 = extractvalue { ptr, i32 } %179, 0
  store ptr %180, ptr %13, align 8
  %181 = extractvalue { ptr, i32 } %179, 1
  store i32 %181, ptr %14, align 4
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %23) #9
  %182 = load i1, ptr %25, align 1
  br i1 %182, label %183, label %184

183:                                              ; preds = %178
  call void @_ZdlPvm(ptr noundef %137, i64 noundef 40) #11
  br label %184

184:                                              ; preds = %183, %178
  br label %249

185:                                              ; preds = %140
  %186 = landingpad { ptr, i32 }
          cleanup
  %187 = extractvalue { ptr, i32 } %186, 0
  store ptr %187, ptr %13, align 8
  %188 = extractvalue { ptr, i32 } %186, 1
  store i32 %188, ptr %14, align 4
  br label %248

189:                                              ; preds = %143
  %190 = landingpad { ptr, i32 }
          cleanup
  %191 = extractvalue { ptr, i32 } %190, 0
  store ptr %191, ptr %13, align 8
  %192 = extractvalue { ptr, i32 } %190, 1
  store i32 %192, ptr %14, align 4
  br label %247

193:                                              ; preds = %152
  %194 = landingpad { ptr, i32 }
          cleanup
  %195 = extractvalue { ptr, i32 } %194, 0
  store ptr %195, ptr %13, align 8
  %196 = extractvalue { ptr, i32 } %194, 1
  store i32 %196, ptr %14, align 4
  br label %206

197:                                              ; preds = %156
  %198 = landingpad { ptr, i32 }
          cleanup
  %199 = extractvalue { ptr, i32 } %198, 0
  store ptr %199, ptr %13, align 8
  %200 = extractvalue { ptr, i32 } %198, 1
  store i32 %200, ptr %14, align 4
  br label %205

201:                                              ; preds = %157
  %202 = landingpad { ptr, i32 }
          cleanup
  %203 = extractvalue { ptr, i32 } %202, 0
  store ptr %203, ptr %13, align 8
  %204 = extractvalue { ptr, i32 } %202, 1
  store i32 %204, ptr %14, align 4
  call void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #9
  br label %205

205:                                              ; preds = %201, %197
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %31) #9
  br label %206

206:                                              ; preds = %205, %193
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %32) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %31) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %30) #9
  br label %246

207:                                              ; preds = %159
  %208 = landingpad { ptr, i32 }
          cleanup
  %209 = extractvalue { ptr, i32 } %208, 0
  store ptr %209, ptr %13, align 8
  %210 = extractvalue { ptr, i32 } %208, 1
  store i32 %210, ptr %14, align 4
  br label %246

211:                                              ; preds = %146
  %212 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIKmN10HtnRuleSet12FactDiffItemEEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %27) #9
  %213 = getelementptr inbounds %"struct.std::pair.42", ptr %212, i32 0, i32 1
  %214 = getelementptr inbounds %"class.HtnRuleSet::FactDiffItem", ptr %213, i32 0, i32 1
  %215 = load i32, ptr %214, align 4, !tbaa !36
  store i32 %215, ptr %28, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 24, ptr %34) #9
  %216 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 3
  %217 = load i32, ptr %216, align 8, !tbaa !13
  call void @_ZNSt10shared_ptrI7HtnRuleEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %35, ptr noundef nonnull align 8 dereferenceable(16) %22) #9
  invoke void @_ZN10HtnRuleSet12FactDiffItemC2EbiSt10shared_ptrI7HtnRuleE(ptr noundef nonnull align 8 dereferenceable(24) %34, i1 noundef zeroext false, i32 noundef %217, ptr noundef %35)
          to label %218 unwind label %225

218:                                              ; preds = %211
  %219 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIKmN10HtnRuleSet12FactDiffItemEEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %27) #9
  %220 = getelementptr inbounds %"struct.std::pair.42", ptr %219, i32 0, i32 1
  %221 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZN10HtnRuleSet12FactDiffItemaSEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %220, ptr noundef nonnull align 8 dereferenceable(24) %34) #9
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %34) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %35) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %34) #9
  %222 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 3
  %223 = load i32, ptr %222, align 8, !tbaa !13
  %224 = add nsw i32 %223, 1
  store i32 %224, ptr %222, align 8, !tbaa !13
  br label %229

225:                                              ; preds = %211
  %226 = landingpad { ptr, i32 }
          cleanup
  %227 = extractvalue { ptr, i32 } %226, 0
  store ptr %227, ptr %13, align 8
  %228 = extractvalue { ptr, i32 } %226, 1
  store i32 %228, ptr %14, align 4
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %35) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %34) #9
  br label %246

229:                                              ; preds = %218, %169
  %230 = load i32, ptr %28, align 4, !tbaa !11
  %231 = icmp ne i32 %230, -1
  br i1 %231, label %232, label %243

232:                                              ; preds = %229
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #9
  %233 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 4
  %234 = invoke noundef i64 @_ZNSt3mapIiSt10shared_ptrI7HtnRuleESt4lessIiESaISt4pairIKiS2_EEE5eraseERS6_(ptr noundef nonnull align 8 dereferenceable(48) %233, ptr noundef nonnull align 4 dereferenceable(4) %28)
          to label %235 unwind label %239

235:                                              ; preds = %232
  store i64 %234, ptr %36, align 8, !tbaa !9
  %236 = load i64, ptr %36, align 8, !tbaa !9
  %237 = icmp eq i64 %236, 1
  invoke void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef %64, i1 noundef zeroext %237, ptr noundef @.str, ptr noundef @.str.1, i64 noundef 341)
          to label %238 unwind label %239

238:                                              ; preds = %235
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #9
  br label %243

239:                                              ; preds = %235, %232
  %240 = landingpad { ptr, i32 }
          cleanup
  %241 = extractvalue { ptr, i32 } %240, 0
  store ptr %241, ptr %13, align 8
  %242 = extractvalue { ptr, i32 } %240, 1
  store i32 %242, ptr %14, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #9
  br label %246

243:                                              ; preds = %238, %229
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %22) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %12) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %12) #9
  br label %244

244:                                              ; preds = %243
  %245 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %10) #9
  br label %72

246:                                              ; preds = %239, %225, %207, %206
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #9
  br label %247

247:                                              ; preds = %246, %189
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  br label %248

248:                                              ; preds = %247, %185
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %22) #9
  br label %249

249:                                              ; preds = %248, %184, %174
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #9
  br label %250

250:                                              ; preds = %249, %135, %113, %112, %95
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %12) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %12) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #9
  br label %429

251:                                              ; preds = %74
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #9
  %252 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %252, ptr %37, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #9
  %253 = load ptr, ptr %37, align 8, !tbaa !5
  %254 = call ptr @_ZNKSt6vectorISt10shared_ptrI7HtnTermESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %253) #9
  %255 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %38, i32 0, i32 0
  store ptr %254, ptr %255, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #9
  %256 = load ptr, ptr %37, align 8, !tbaa !5
  %257 = call ptr @_ZNKSt6vectorISt10shared_ptrI7HtnTermESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %256) #9
  %258 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %39, i32 0, i32 0
  store ptr %257, ptr %258, align 8
  br label %259

259:                                              ; preds = %413, %251
  %260 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %38, ptr noundef nonnull align 8 dereferenceable(8) %39) #9
  br i1 %260, label %262, label %261

261:                                              ; preds = %259
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #9
  br label %428

262:                                              ; preds = %259
  call void @llvm.lifetime.start.p0(i64 16, ptr %40) #9
  %263 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %38) #9
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %40, ptr noundef nonnull align 8 dereferenceable(16) %263) #9
  %264 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %40) #9
  %265 = invoke noundef zeroext i1 @_ZNK7HtnTerm8isGroundEv(ptr noundef nonnull align 8 dereferenceable(72) %264)
          to label %266 unwind label %281

266:                                              ; preds = %262
  call void @llvm.lifetime.start.p0(i64 32, ptr %41) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr %42) #9
  %267 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %40) #9
  invoke void @_ZN7HtnTerm8ToStringB5cxx11Ebb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %42, ptr noundef nonnull align 8 dereferenceable(72) %267, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %268 unwind label %285

268:                                              ; preds = %266
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %41, ptr noundef @.str.7, ptr noundef nonnull align 8 dereferenceable(32) %42)
          to label %269 unwind label %289

269:                                              ; preds = %268
  %270 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %41) #9
  invoke void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef %64, i1 noundef zeroext %265, ptr noundef %270, ptr noundef @.str.1, i64 noundef 349)
          to label %271 unwind label %293

271:                                              ; preds = %269
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %41) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %42) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %42) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %41) #9
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %43, ptr noundef nonnull align 8 dereferenceable(16) %40) #9
  %272 = invoke noundef zeroext i1 @_ZNK10HtnRuleSet7HasFactESt10shared_ptrI7HtnTermE(ptr noundef nonnull align 8 dereferenceable(144) %64, ptr noundef %43)
          to label %273 unwind label %299

273:                                              ; preds = %271
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %43) #9
  br i1 %272, label %274, label %322

274:                                              ; preds = %273
  call void @llvm.lifetime.start.p0(i64 32, ptr %44) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr %45) #9
  call void @llvm.lifetime.start.p0(i64 1, ptr %46) #9
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %46) #9
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %45, ptr noundef @.str.8, ptr noundef nonnull align 1 dereferenceable(1) %46)
          to label %275 unwind label %303

275:                                              ; preds = %274
  call void @llvm.lifetime.start.p0(i64 32, ptr %47) #9
  %276 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %40) #9
  invoke void @_ZN7HtnTerm8ToStringB5cxx11Ebb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %47, ptr noundef nonnull align 8 dereferenceable(72) %276, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %277 unwind label %307

277:                                              ; preds = %275
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_S9_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %44, ptr noundef nonnull align 8 dereferenceable(32) %45, ptr noundef nonnull align 8 dereferenceable(32) %47)
          to label %278 unwind label %311

278:                                              ; preds = %277
  %279 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %44) #9
  invoke void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef %64, i1 noundef zeroext false, ptr noundef %279, ptr noundef @.str.1, i64 noundef 354)
          to label %280 unwind label %315

280:                                              ; preds = %278
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %47) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %47) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %45) #9
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %46) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %46) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %45) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %44) #9
  br label %322

281:                                              ; preds = %262
  %282 = landingpad { ptr, i32 }
          cleanup
  %283 = extractvalue { ptr, i32 } %282, 0
  store ptr %283, ptr %13, align 8
  %284 = extractvalue { ptr, i32 } %282, 1
  store i32 %284, ptr %14, align 4
  br label %427

285:                                              ; preds = %266
  %286 = landingpad { ptr, i32 }
          cleanup
  %287 = extractvalue { ptr, i32 } %286, 0
  store ptr %287, ptr %13, align 8
  %288 = extractvalue { ptr, i32 } %286, 1
  store i32 %288, ptr %14, align 4
  br label %298

289:                                              ; preds = %268
  %290 = landingpad { ptr, i32 }
          cleanup
  %291 = extractvalue { ptr, i32 } %290, 0
  store ptr %291, ptr %13, align 8
  %292 = extractvalue { ptr, i32 } %290, 1
  store i32 %292, ptr %14, align 4
  br label %297

293:                                              ; preds = %269
  %294 = landingpad { ptr, i32 }
          cleanup
  %295 = extractvalue { ptr, i32 } %294, 0
  store ptr %295, ptr %13, align 8
  %296 = extractvalue { ptr, i32 } %294, 1
  store i32 %296, ptr %14, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %41) #9
  br label %297

297:                                              ; preds = %293, %289
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %42) #9
  br label %298

298:                                              ; preds = %297, %285
  call void @llvm.lifetime.end.p0(i64 32, ptr %42) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %41) #9
  br label %427

299:                                              ; preds = %271
  %300 = landingpad { ptr, i32 }
          cleanup
  %301 = extractvalue { ptr, i32 } %300, 0
  store ptr %301, ptr %13, align 8
  %302 = extractvalue { ptr, i32 } %300, 1
  store i32 %302, ptr %14, align 4
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %43) #9
  br label %427

303:                                              ; preds = %274
  %304 = landingpad { ptr, i32 }
          cleanup
  %305 = extractvalue { ptr, i32 } %304, 0
  store ptr %305, ptr %13, align 8
  %306 = extractvalue { ptr, i32 } %304, 1
  store i32 %306, ptr %14, align 4
  br label %321

307:                                              ; preds = %275
  %308 = landingpad { ptr, i32 }
          cleanup
  %309 = extractvalue { ptr, i32 } %308, 0
  store ptr %309, ptr %13, align 8
  %310 = extractvalue { ptr, i32 } %308, 1
  store i32 %310, ptr %14, align 4
  br label %320

311:                                              ; preds = %277
  %312 = landingpad { ptr, i32 }
          cleanup
  %313 = extractvalue { ptr, i32 } %312, 0
  store ptr %313, ptr %13, align 8
  %314 = extractvalue { ptr, i32 } %312, 1
  store i32 %314, ptr %14, align 4
  br label %319

315:                                              ; preds = %278
  %316 = landingpad { ptr, i32 }
          cleanup
  %317 = extractvalue { ptr, i32 } %316, 0
  store ptr %317, ptr %13, align 8
  %318 = extractvalue { ptr, i32 } %316, 1
  store i32 %318, ptr %14, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #9
  br label %319

319:                                              ; preds = %315, %311
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %47) #9
  br label %320

320:                                              ; preds = %319, %307
  call void @llvm.lifetime.end.p0(i64 32, ptr %47) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %45) #9
  br label %321

321:                                              ; preds = %320, %303
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %46) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %46) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %45) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %44) #9
  br label %427

322:                                              ; preds = %280, %273
  call void @llvm.lifetime.start.p0(i64 16, ptr %48) #9
  %323 = invoke noalias noundef nonnull ptr @_Znwm(i64 noundef 40) #10
          to label %324 unwind label %361

324:                                              ; preds = %322
  store i1 true, ptr %51, align 1
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %49, ptr noundef nonnull align 8 dereferenceable(16) %40) #9
  call void @llvm.memset.p0.i64(ptr align 8 %50, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %50) #9
  invoke void @_ZN7HtnRuleC2ESt10shared_ptrI7HtnTermESt6vectorIS2_SaIS2_EE(ptr noundef nonnull align 8 dereferenceable(40) %323, ptr noundef %49, ptr noundef %50)
          to label %325 unwind label %365

325:                                              ; preds = %324
  store i1 false, ptr %51, align 1
  invoke void @_ZNSt10shared_ptrI7HtnRuleEC2IS0_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %48, ptr noundef %323)
          to label %326 unwind label %365

326:                                              ; preds = %325
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %50) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %49) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr %52) #9
  %327 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 3
  %328 = load i32, ptr %327, align 8, !tbaa !13
  store i32 %328, ptr %52, align 4, !tbaa !11
  %329 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 3
  %330 = load i32, ptr %329, align 8, !tbaa !13
  %331 = add nsw i32 %330, 1
  store i32 %331, ptr %329, align 8, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #9
  %332 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %40) #9
  %333 = invoke noundef i64 @_ZNK7HtnTerm11GetUniqueIDEv(ptr noundef nonnull align 8 dereferenceable(72) %332)
          to label %334 unwind label %372

334:                                              ; preds = %326
  store i64 %333, ptr %53, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %54) #9
  %335 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 2
  %336 = invoke ptr @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE4findERS5_(ptr noundef nonnull align 8 dereferenceable(48) %335, ptr noundef nonnull align 8 dereferenceable(8) %53)
          to label %337 unwind label %376

337:                                              ; preds = %334
  %338 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %54, i32 0, i32 0
  store ptr %336, ptr %338, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %55) #9
  %339 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 2
  %340 = call ptr @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %339) #9
  %341 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %55, i32 0, i32 0
  store ptr %340, ptr %341, align 8
  %342 = call noundef zeroext i1 @_ZSteqRKSt17_Rb_tree_iteratorISt4pairIKmN10HtnRuleSet12FactDiffItemEEES7_(ptr noundef nonnull align 8 dereferenceable(8) %54, ptr noundef nonnull align 8 dereferenceable(8) %55) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %55) #9
  br i1 %342, label %343, label %394

343:                                              ; preds = %337
  %344 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 2
  call void @llvm.lifetime.start.p0(i64 32, ptr %56) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr %57) #9
  %345 = load i32, ptr %52, align 4, !tbaa !11
  call void @_ZNSt10shared_ptrI7HtnRuleEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %58, ptr noundef nonnull align 8 dereferenceable(16) %48) #9
  invoke void @_ZN10HtnRuleSet12FactDiffItemC2EbiSt10shared_ptrI7HtnRuleE(ptr noundef nonnull align 8 dereferenceable(24) %57, i1 noundef zeroext true, i32 noundef %345, ptr noundef %58)
          to label %346 unwind label %380

346:                                              ; preds = %343
  invoke void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEEC2IRmS2_TnNSt9enable_ifIXaaclsr5_PCCPE22_MoveConstructiblePairIT_T0_EEclsr5_PCCPE30_ImplicitlyMoveConvertiblePairIS7_S8_EEEbE4typeELb1EEEOS7_OS8_(ptr noundef nonnull align 8 dereferenceable(32) %56, ptr noundef nonnull align 8 dereferenceable(8) %53, ptr noundef nonnull align 8 dereferenceable(24) %57)
          to label %347 unwind label %384

347:                                              ; preds = %346
  %348 = invoke { ptr, i8 } @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE6insertEOS6_(ptr noundef nonnull align 8 dereferenceable(48) %344, ptr noundef nonnull align 8 dereferenceable(32) %56)
          to label %349 unwind label %388

349:                                              ; preds = %347
  %350 = getelementptr inbounds { ptr, i8 }, ptr %59, i32 0, i32 0
  %351 = extractvalue { ptr, i8 } %348, 0
  store ptr %351, ptr %350, align 8
  %352 = getelementptr inbounds { ptr, i8 }, ptr %59, i32 0, i32 1
  %353 = extractvalue { ptr, i8 } %348, 1
  store i8 %353, ptr %352, align 8
  call void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %56) #9
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %57) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %58) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %57) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %56) #9
  %354 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnRuleLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %48) #9
  %355 = invoke noundef i64 @_ZN7HtnRule11dynamicSizeEv(ptr noundef nonnull align 8 dereferenceable(40) %354)
          to label %356 unwind label %376

356:                                              ; preds = %349
  %357 = add i64 -8, %355
  %358 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 1
  %359 = load i64, ptr %358, align 8, !tbaa !35
  %360 = add i64 %359, %357
  store i64 %360, ptr %358, align 8, !tbaa !35
  br label %404

361:                                              ; preds = %322
  %362 = landingpad { ptr, i32 }
          cleanup
  %363 = extractvalue { ptr, i32 } %362, 0
  store ptr %363, ptr %13, align 8
  %364 = extractvalue { ptr, i32 } %362, 1
  store i32 %364, ptr %14, align 4
  br label %426

365:                                              ; preds = %325, %324
  %366 = landingpad { ptr, i32 }
          cleanup
  %367 = extractvalue { ptr, i32 } %366, 0
  store ptr %367, ptr %13, align 8
  %368 = extractvalue { ptr, i32 } %366, 1
  store i32 %368, ptr %14, align 4
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %50) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %49) #9
  %369 = load i1, ptr %51, align 1
  br i1 %369, label %370, label %371

370:                                              ; preds = %365
  call void @_ZdlPvm(ptr noundef %323, i64 noundef 40) #11
  br label %371

371:                                              ; preds = %370, %365
  br label %426

372:                                              ; preds = %326
  %373 = landingpad { ptr, i32 }
          cleanup
  %374 = extractvalue { ptr, i32 } %373, 0
  store ptr %374, ptr %13, align 8
  %375 = extractvalue { ptr, i32 } %373, 1
  store i32 %375, ptr %14, align 4
  br label %425

376:                                              ; preds = %349, %334
  %377 = landingpad { ptr, i32 }
          cleanup
  %378 = extractvalue { ptr, i32 } %377, 0
  store ptr %378, ptr %13, align 8
  %379 = extractvalue { ptr, i32 } %377, 1
  store i32 %379, ptr %14, align 4
  br label %424

380:                                              ; preds = %343
  %381 = landingpad { ptr, i32 }
          cleanup
  %382 = extractvalue { ptr, i32 } %381, 0
  store ptr %382, ptr %13, align 8
  %383 = extractvalue { ptr, i32 } %381, 1
  store i32 %383, ptr %14, align 4
  br label %393

384:                                              ; preds = %346
  %385 = landingpad { ptr, i32 }
          cleanup
  %386 = extractvalue { ptr, i32 } %385, 0
  store ptr %386, ptr %13, align 8
  %387 = extractvalue { ptr, i32 } %385, 1
  store i32 %387, ptr %14, align 4
  br label %392

388:                                              ; preds = %347
  %389 = landingpad { ptr, i32 }
          cleanup
  %390 = extractvalue { ptr, i32 } %389, 0
  store ptr %390, ptr %13, align 8
  %391 = extractvalue { ptr, i32 } %389, 1
  store i32 %391, ptr %14, align 4
  call void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %56) #9
  br label %392

392:                                              ; preds = %388, %384
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %57) #9
  br label %393

393:                                              ; preds = %392, %380
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %58) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %57) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %56) #9
  br label %424

394:                                              ; preds = %337
  call void @llvm.lifetime.start.p0(i64 24, ptr %60) #9
  %395 = load i32, ptr %52, align 4, !tbaa !11
  call void @_ZNSt10shared_ptrI7HtnRuleEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %61, ptr noundef nonnull align 8 dereferenceable(16) %48) #9
  invoke void @_ZN10HtnRuleSet12FactDiffItemC2EbiSt10shared_ptrI7HtnRuleE(ptr noundef nonnull align 8 dereferenceable(24) %60, i1 noundef zeroext true, i32 noundef %395, ptr noundef %61)
          to label %396 unwind label %400

396:                                              ; preds = %394
  %397 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIKmN10HtnRuleSet12FactDiffItemEEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %54) #9
  %398 = getelementptr inbounds %"struct.std::pair.42", ptr %397, i32 0, i32 1
  %399 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZN10HtnRuleSet12FactDiffItemaSEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %398, ptr noundef nonnull align 8 dereferenceable(24) %60) #9
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %60) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %61) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %60) #9
  br label %404

400:                                              ; preds = %394
  %401 = landingpad { ptr, i32 }
          cleanup
  %402 = extractvalue { ptr, i32 } %401, 0
  store ptr %402, ptr %13, align 8
  %403 = extractvalue { ptr, i32 } %401, 1
  store i32 %403, ptr %14, align 4
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %61) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %60) #9
  br label %424

404:                                              ; preds = %396, %356
  %405 = getelementptr inbounds %class.HtnRuleSet, ptr %64, i32 0, i32 4
  call void @llvm.lifetime.start.p0(i64 24, ptr %62) #9
  invoke void @_ZNSt4pairIKiSt10shared_ptrI7HtnRuleEEC2IRiRS3_TnNSt9enable_ifIXaaclsr5_PCCPE22_MoveConstructiblePairIT_T0_EEclsr5_PCCPE30_ImplicitlyMoveConvertiblePairIS9_SA_EEEbE4typeELb1EEEOS9_OSA_(ptr noundef nonnull align 8 dereferenceable(24) %62, ptr noundef nonnull align 4 dereferenceable(4) %52, ptr noundef nonnull align 8 dereferenceable(16) %48)
          to label %406 unwind label %415

406:                                              ; preds = %404
  %407 = invoke { ptr, i8 } @_ZNSt3mapIiSt10shared_ptrI7HtnRuleESt4lessIiESaISt4pairIKiS2_EEE6insertEOS7_(ptr noundef nonnull align 8 dereferenceable(48) %405, ptr noundef nonnull align 8 dereferenceable(24) %62)
          to label %408 unwind label %419

408:                                              ; preds = %406
  %409 = getelementptr inbounds { ptr, i8 }, ptr %63, i32 0, i32 0
  %410 = extractvalue { ptr, i8 } %407, 0
  store ptr %410, ptr %409, align 8
  %411 = getelementptr inbounds { ptr, i8 }, ptr %63, i32 0, i32 1
  %412 = extractvalue { ptr, i8 } %407, 1
  store i8 %412, ptr %411, align 8
  call void @_ZNSt4pairIKiSt10shared_ptrI7HtnRuleEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %62) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %62) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %48) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %48) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %40) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #9
  br label %413

413:                                              ; preds = %408
  %414 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %38) #9
  br label %259

415:                                              ; preds = %404
  %416 = landingpad { ptr, i32 }
          cleanup
  %417 = extractvalue { ptr, i32 } %416, 0
  store ptr %417, ptr %13, align 8
  %418 = extractvalue { ptr, i32 } %416, 1
  store i32 %418, ptr %14, align 4
  br label %423

419:                                              ; preds = %406
  %420 = landingpad { ptr, i32 }
          cleanup
  %421 = extractvalue { ptr, i32 } %420, 0
  store ptr %421, ptr %13, align 8
  %422 = extractvalue { ptr, i32 } %420, 1
  store i32 %422, ptr %14, align 4
  call void @_ZNSt4pairIKiSt10shared_ptrI7HtnRuleEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %62) #9
  br label %423

423:                                              ; preds = %419, %415
  call void @llvm.lifetime.end.p0(i64 24, ptr %62) #9
  br label %424

424:                                              ; preds = %423, %400, %393, %376
  call void @llvm.lifetime.end.p0(i64 8, ptr %54) #9
  br label %425

425:                                              ; preds = %424, %372
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %48) #9
  br label %426

426:                                              ; preds = %425, %371, %361
  call void @llvm.lifetime.end.p0(i64 16, ptr %48) #9
  br label %427

427:                                              ; preds = %426, %321, %299, %298, %281
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %40) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #9
  br label %429

428:                                              ; preds = %261
  ret void

429:                                              ; preds = %427, %250
  %430 = load ptr, ptr %13, align 8
  %431 = load i32, ptr %14, align 4
  %432 = insertvalue { ptr, i32 } poison, ptr %430, 0
  %433 = insertvalue { ptr, i32 } %432, i32 %431, 1
  resume { ptr, i32 } %433
}

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_S9_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) #4

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i8 } @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE6insertEOS6_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(32)) #3 align 2

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i8 } @_ZNSt3mapIiSt10shared_ptrI7HtnRuleESt4lessIiESaISt4pairIKiS2_EEE6insertEOS7_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(24)) #3 align 2

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

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

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

attributes #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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #6 = { nobuiltin allocsize(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 = { nobuiltin 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 #8 = { 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 #9 = { nounwind }
attributes #10 = { builtin allocsize(0) }
attributes #11 = { builtin nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !12, i64 72}
!14 = !{!"_ZTS10HtnRuleSet", !15, i64 0, !10, i64 16, !19, i64 24, !12, i64 72, !27, i64 80, !32, i64 128}
!15 = !{!"_ZTSSt23enable_shared_from_thisI10HtnRuleSetE", !16, i64 0}
!16 = !{!"_ZTSSt8weak_ptrI10HtnRuleSetE", !17, i64 0}
!17 = !{!"_ZTSSt10__weak_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EE", !6, i64 0, !18, i64 8}
!18 = !{!"_ZTSSt12__weak_countILN9__gnu_cxx12_Lock_policyE2EE", !6, i64 0}
!19 = !{!"_ZTSSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE", !20, i64 0}
!20 = !{!"_ZTSSt8_Rb_treeImSt4pairIKmN10HtnRuleSet12FactDiffItemEESt10_Select1stIS4_ESt4lessImESaIS4_EE", !21, i64 0}
!21 = !{!"_ZTSNSt8_Rb_treeImSt4pairIKmN10HtnRuleSet12FactDiffItemEESt10_Select1stIS4_ESt4lessImESaIS4_EE13_Rb_tree_implIS8_Lb1EEE", !22, i64 0, !24, i64 8}
!22 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessImEE", !23, i64 0}
!23 = !{!"_ZTSSt4lessImE"}
!24 = !{!"_ZTSSt15_Rb_tree_header", !25, i64 0, !10, i64 32}
!25 = !{!"_ZTSSt18_Rb_tree_node_base", !26, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!26 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!27 = !{!"_ZTSSt3mapIiSt10shared_ptrI7HtnRuleESt4lessIiESaISt4pairIKiS2_EEE", !28, i64 0}
!28 = !{!"_ZTSSt8_Rb_treeIiSt4pairIKiSt10shared_ptrI7HtnRuleEESt10_Select1stIS5_ESt4lessIiESaIS5_EE", !29, i64 0}
!29 = !{!"_ZTSNSt8_Rb_treeIiSt4pairIKiSt10shared_ptrI7HtnRuleEESt10_Select1stIS5_ESt4lessIiESaIS5_EE13_Rb_tree_implIS9_Lb1EEE", !30, i64 0, !24, i64 8}
!30 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIiEE", !31, i64 0}
!31 = !{!"_ZTSSt4lessIiE"}
!32 = !{!"_ZTSSt10shared_ptrIN10HtnRuleSet14HtnSharedRulesEE", !33, i64 0}
!33 = !{!"_ZTSSt12__shared_ptrIN10HtnRuleSet14HtnSharedRulesELN9__gnu_cxx12_Lock_policyE2EE", !6, i64 0, !34, i64 8}
!34 = !{!"_ZTSSt14__shared_countILN9__gnu_cxx12_Lock_policyE2EE", !6, i64 0}
!35 = !{!14, !10, i64 16}
!36 = !{!37, !12, i64 12}
!37 = !{!"_ZTSSt4pairIKmN10HtnRuleSet12FactDiffItemEE", !10, i64 0, !38, i64 8}
!38 = !{!"_ZTSN10HtnRuleSet12FactDiffItemE", !39, i64 0, !12, i64 4, !40, i64 8}
!39 = !{!"bool", !7, i64 0}
!40 = !{!"_ZTSSt10shared_ptrI7HtnRuleE", !41, i64 0}
!41 = !{!"_ZTSSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EE", !6, i64 0, !34, i64 8}


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

%"class.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] }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"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.std::allocator.12" = type { i8 }
%"class.std::shared_ptr.44" = type { %"class.std::__shared_ptr.45" }
%"class.std::__shared_ptr.45" = type { ptr, %"class.std::__shared_count" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::shared_ptr<HtnTerm>, std::allocator<std::shared_ptr<HtnTerm>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::shared_ptr<HtnTerm>, std::allocator<std::shared_ptr<HtnTerm>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::shared_ptr<HtnTerm>, std::allocator<std::shared_ptr<HtnTerm>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::shared_ptr<HtnTerm>, std::allocator<std::shared_ptr<HtnTerm>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::_Rb_tree_iterator" = type { ptr }
%"struct.std::pair.42" = type { i64, %"class.HtnRuleSet::FactDiffItem" }
%"class.HtnRuleSet::FactDiffItem" = type { i8, i32, %"class.std::shared_ptr.44" }
%"struct.std::pair.56" = type { i32, %"class.std::shared_ptr.44" }

@.str = external hidden unnamed_addr constant [15 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [92 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [45 x i8], align 1

declare void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef, i1 noundef zeroext, ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #0

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

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

declare i32 @__gxx_personality_v0(...)

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

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

declare noundef i64 @_ZNK7HtnTerm11GetUniqueIDEv(ptr noundef nonnull align 8 dereferenceable(72)) local_unnamed_addr #0

declare noundef zeroext i1 @_ZNK7HtnTerm8isGroundEv(ptr noundef nonnull align 8 dereferenceable(72)) local_unnamed_addr #0

declare void @_ZN7HtnTerm8ToStringB5cxx11Ebb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(72), i1 noundef zeroext, i1 noundef zeroext) local_unnamed_addr #0

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef, ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #4

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

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

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

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

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

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #5

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

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znwm(i64 noundef) local_unnamed_addr #6

; Function Attrs: nobuiltin nounwind
declare void @_ZdlPvm(ptr noundef, i64 noundef) local_unnamed_addr #7

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN10HtnRuleSet6UpdateEP14HtnTermFactoryRKSt6vectorISt10shared_ptrI7HtnTermESaIS5_EES9_(ptr noundef nonnull align 8 dereferenceable(144) %0, ptr nocapture noundef readnone %1, ptr noundef nonnull align 8 dereferenceable(24) %2, ptr noundef nonnull align 8 dereferenceable(24) %3) local_unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
  %5 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %6 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %7 = alloca %"class.std::shared_ptr", align 8
  %8 = alloca %"class.std::__cxx11::basic_string", align 8
  %9 = alloca %"class.std::__cxx11::basic_string", align 8
  %10 = alloca %"class.std::shared_ptr", align 8
  %11 = alloca %"class.std::__cxx11::basic_string", align 8
  %12 = alloca %"class.std::__cxx11::basic_string", align 8
  %13 = alloca %"class.std::allocator.12", align 1
  %14 = alloca %"class.std::__cxx11::basic_string", align 8
  %15 = alloca %"class.std::shared_ptr.44", align 8
  %16 = alloca %"class.std::shared_ptr", align 8
  %17 = alloca %"class.std::vector", align 8
  %18 = alloca i64, align 8
  %19 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %20 = alloca i32, align 4
  %21 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %22 = alloca %"struct.std::pair.42", align 8
  %23 = alloca %"class.HtnRuleSet::FactDiffItem", align 8
  %24 = alloca %"class.std::shared_ptr.44", align 8
  %25 = alloca %"class.HtnRuleSet::FactDiffItem", align 8
  %26 = alloca %"class.std::shared_ptr.44", align 8
  %27 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %28 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %29 = alloca %"class.std::shared_ptr", align 8
  %30 = alloca %"class.std::__cxx11::basic_string", align 8
  %31 = alloca %"class.std::__cxx11::basic_string", align 8
  %32 = alloca %"class.std::shared_ptr", align 8
  %33 = alloca %"class.std::__cxx11::basic_string", align 8
  %34 = alloca %"class.std::__cxx11::basic_string", align 8
  %35 = alloca %"class.std::allocator.12", align 1
  %36 = alloca %"class.std::__cxx11::basic_string", align 8
  %37 = alloca %"class.std::shared_ptr.44", align 8
  %38 = alloca %"class.std::shared_ptr", align 8
  %39 = alloca %"class.std::vector", align 8
  %40 = alloca i32, align 4
  %41 = alloca i64, align 8
  %42 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %43 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %44 = alloca %"struct.std::pair.42", align 8
  %45 = alloca %"class.HtnRuleSet::FactDiffItem", align 8
  %46 = alloca %"class.std::shared_ptr.44", align 8
  %47 = alloca %"class.HtnRuleSet::FactDiffItem", align 8
  %48 = alloca %"class.std::shared_ptr.44", align 8
  %49 = alloca %"struct.std::pair.56", align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #9
  %50 = tail call ptr @_ZNKSt6vectorISt10shared_ptrI7HtnTermESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #9
  store ptr %50, ptr %5, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #9
  %51 = tail call ptr @_ZNKSt6vectorISt10shared_ptrI7HtnTermESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %2) #9
  store ptr %51, ptr %6, align 8
  %52 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %6) #9
  br i1 %52, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %4
  %53 = getelementptr inbounds i8, ptr %0, i64 24
  %54 = getelementptr inbounds i8, ptr %0, i64 72
  %55 = getelementptr inbounds i8, ptr %0, i64 16
  %56 = getelementptr inbounds i8, ptr %0, i64 80
  br label %64

._crit_edge:                                      ; preds = %158, %4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %27) #9
  %57 = call ptr @_ZNKSt6vectorISt10shared_ptrI7HtnTermESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %3) #9
  store ptr %57, ptr %27, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %28) #9
  %58 = call ptr @_ZNKSt6vectorISt10shared_ptrI7HtnTermESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %3) #9
  store ptr %58, ptr %28, align 8
  %59 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull align 8 dereferenceable(8) %28) #9
  br i1 %59, label %.lr.ph72, label %._crit_edge73

.lr.ph72:                                         ; preds = %._crit_edge
  %60 = getelementptr inbounds i8, ptr %0, i64 72
  %61 = getelementptr inbounds i8, ptr %0, i64 24
  %62 = getelementptr inbounds i8, ptr %0, i64 16
  %63 = getelementptr inbounds i8, ptr %0, i64 80
  br label %166

64:                                               ; preds = %.lr.ph, %158
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %7) #9
  %65 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %5) #9
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef nonnull align 8 dereferenceable(16) %65) #9
  %66 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %7) #9
  %67 = invoke noundef zeroext i1 @_ZNK7HtnTerm8isGroundEv(ptr noundef nonnull align 8 dereferenceable(72) %66)
          to label %68 unwind label %83

68:                                               ; preds = %64
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %8) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %9) #9
  %69 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %7) #9
  invoke void @_ZN7HtnTerm8ToStringB5cxx11Ebb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %9, ptr noundef nonnull align 8 dereferenceable(72) %69, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %70 unwind label %85

70:                                               ; preds = %68
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %8, ptr noundef nonnull @.str.5, ptr noundef nonnull align 8 dereferenceable(32) %9)
          to label %71 unwind label %87

71:                                               ; preds = %70
  %72 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %8) #9
  invoke void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef nonnull %0, i1 noundef zeroext %67, ptr noundef %72, ptr noundef nonnull @.str.1, i64 noundef 306)
          to label %73 unwind label %89

73:                                               ; preds = %71
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #9
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %10, ptr noundef nonnull align 8 dereferenceable(16) %7) #9
  %74 = invoke noundef zeroext i1 @_ZNK10HtnRuleSet7HasFactESt10shared_ptrI7HtnTermE(ptr noundef nonnull align 8 dereferenceable(144) %0, ptr noundef nonnull %10)
          to label %75 unwind label %93

75:                                               ; preds = %73
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %10) #9
  br i1 %74, label %106, label %76

76:                                               ; preds = %75
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %11) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #9
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %13) #9
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %13) #9
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %12, ptr noundef nonnull @.str.6, ptr noundef nonnull align 1 dereferenceable(1) %13)
          to label %77 unwind label %95

77:                                               ; preds = %76
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %14) #9
  %78 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %7) #9
  invoke void @_ZN7HtnTerm8ToStringB5cxx11Ebb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %14, ptr noundef nonnull align 8 dereferenceable(72) %78, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %79 unwind label %97

79:                                               ; preds = %77
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_S9_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %11, ptr noundef nonnull align 8 dereferenceable(32) %12, ptr noundef nonnull align 8 dereferenceable(32) %14)
          to label %80 unwind label %99

80:                                               ; preds = %79
  %81 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %11) #9
  invoke void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef nonnull %0, i1 noundef zeroext false, ptr noundef %81, ptr noundef nonnull @.str.1, i64 noundef 311)
          to label %82 unwind label %101

82:                                               ; preds = %80
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %14) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #9
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %13) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %13) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #9
  br label %106

83:                                               ; preds = %64
  %84 = landingpad { ptr, i32 }
          cleanup
  br label %165

85:                                               ; preds = %68
  %86 = landingpad { ptr, i32 }
          cleanup
  br label %92

87:                                               ; preds = %70
  %88 = landingpad { ptr, i32 }
          cleanup
  br label %91

89:                                               ; preds = %71
  %90 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #9
  br label %91

91:                                               ; preds = %89, %87
  %.pn48 = phi { ptr, i32 } [ %90, %89 ], [ %88, %87 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #9
  br label %92

92:                                               ; preds = %91, %85
  %.pn48.pn = phi { ptr, i32 } [ %.pn48, %91 ], [ %86, %85 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #9
  br label %165

93:                                               ; preds = %73
  %94 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %10) #9
  br label %165

95:                                               ; preds = %76
  %96 = landingpad { ptr, i32 }
          cleanup
  br label %105

97:                                               ; preds = %77
  %98 = landingpad { ptr, i32 }
          cleanup
  br label %104

99:                                               ; preds = %79
  %100 = landingpad { ptr, i32 }
          cleanup
  br label %103

101:                                              ; preds = %80
  %102 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #9
  br label %103

103:                                              ; preds = %101, %99
  %.pn51 = phi { ptr, i32 } [ %102, %101 ], [ %100, %99 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #9
  br label %104

104:                                              ; preds = %103, %97
  %.pn51.pn = phi { ptr, i32 } [ %.pn51, %103 ], [ %98, %97 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %14) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #9
  br label %105

105:                                              ; preds = %104, %95
  %.pn51.pn.pn = phi { ptr, i32 } [ %.pn51.pn, %104 ], [ %96, %95 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %13) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %13) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #9
  br label %165

106:                                              ; preds = %82, %75
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %15) #9
  %107 = invoke noalias noundef nonnull dereferenceable(40) ptr @_Znwm(i64 noundef 40) #10
          to label %108 unwind label %129

108:                                              ; preds = %106
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %16, ptr noundef nonnull align 8 dereferenceable(16) %7) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %17, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %17) #9
  invoke void @_ZN7HtnRuleC2ESt10shared_ptrI7HtnTermESt6vectorIS2_SaIS2_EE(ptr noundef nonnull align 8 dereferenceable(40) %107, ptr noundef nonnull %16, ptr noundef nonnull %17)
          to label %109 unwind label %131

109:                                              ; preds = %108
  invoke void @_ZNSt10shared_ptrI7HtnRuleEC2IS0_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %15, ptr noundef nonnull %107)
          to label %110 unwind label %131

110:                                              ; preds = %109
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %17) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %16) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #9
  %111 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %7) #9
  %112 = invoke noundef i64 @_ZNK7HtnTerm11GetUniqueIDEv(ptr noundef nonnull align 8 dereferenceable(72) %111)
          to label %113 unwind label %134

113:                                              ; preds = %110
  store i64 %112, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #9
  %114 = invoke ptr @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE4findERS5_(ptr noundef nonnull align 8 dereferenceable(48) %53, ptr noundef nonnull align 8 dereferenceable(8) %18)
          to label %115 unwind label %136

115:                                              ; preds = %113
  store ptr %114, ptr %19, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %20) #9
  store i32 -1, ptr %20, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #9
  %116 = call ptr @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %53) #9
  store ptr %116, ptr %21, align 8
  %117 = call noundef zeroext i1 @_ZSteqRKSt17_Rb_tree_iteratorISt4pairIKmN10HtnRuleSet12FactDiffItemEEES7_(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull align 8 dereferenceable(8) %21) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #9
  br i1 %117, label %118, label %140

118:                                              ; preds = %115
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %22) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %23) #9
  %119 = load i32, ptr %54, align 8, !tbaa !11
  call void @_ZNSt10shared_ptrI7HtnRuleEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %24, ptr noundef nonnull align 8 dereferenceable(16) %15) #9
  call void @_ZN10HtnRuleSet12FactDiffItemC2EbiSt10shared_ptrI7HtnRuleE(ptr noundef nonnull align 8 dereferenceable(24) %23, i1 noundef zeroext false, i32 noundef %119, ptr noundef nonnull %24)
  call void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEEC2IRmS2_TnNSt9enable_ifIXaaclsr5_PCCPE22_MoveConstructiblePairIT_T0_EEclsr5_PCCPE30_ImplicitlyMoveConvertiblePairIS7_S8_EEEbE4typeELb1EEEOS7_OS8_(ptr noundef nonnull align 8 dereferenceable(32) %22, ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(24) %23)
  %120 = invoke { ptr, i8 } @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE6insertEOS6_(ptr noundef nonnull align 8 dereferenceable(48) %53, ptr noundef nonnull align 8 dereferenceable(32) %22)
          to label %121 unwind label %138

121:                                              ; preds = %118
  call void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #9
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %23) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %24) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %23) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #9
  %122 = load i32, ptr %54, align 8, !tbaa !11
  %123 = add nsw i32 %122, 1
  store i32 %123, ptr %54, align 8, !tbaa !11
  %124 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnRuleLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %15) #9
  %125 = call noundef i64 @_ZN7HtnRule11dynamicSizeEv(ptr noundef nonnull align 8 dereferenceable(40) %124)
  %126 = add i64 %125, -8
  %127 = load i64, ptr %55, align 8, !tbaa !34
  %128 = add i64 %126, %127
  store i64 %128, ptr %55, align 8, !tbaa !34
  br label %150

129:                                              ; preds = %106
  %130 = landingpad { ptr, i32 }
          cleanup
  br label %164

131:                                              ; preds = %109, %108
  %.035 = phi i1 [ false, %109 ], [ true, %108 ]
  %132 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %17) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %16) #9
  br i1 %.035, label %133, label %164

133:                                              ; preds = %131
  call void @_ZdlPvm(ptr noundef nonnull %107, i64 noundef 40) #11
  br label %164

134:                                              ; preds = %110
  %135 = landingpad { ptr, i32 }
          cleanup
  br label %163

136:                                              ; preds = %113
  %137 = landingpad { ptr, i32 }
          cleanup
  br label %162

138:                                              ; preds = %118
  %139 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #9
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %23) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %24) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %23) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #9
  br label %161

140:                                              ; preds = %115
  %141 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIKmN10HtnRuleSet12FactDiffItemEEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %142 = getelementptr inbounds i8, ptr %141, i64 12
  %143 = load i32, ptr %142, align 4, !tbaa !35
  store i32 %143, ptr %20, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %25) #9
  %144 = load i32, ptr %54, align 8, !tbaa !11
  call void @_ZNSt10shared_ptrI7HtnRuleEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %26, ptr noundef nonnull align 8 dereferenceable(16) %15) #9
  call void @_ZN10HtnRuleSet12FactDiffItemC2EbiSt10shared_ptrI7HtnRuleE(ptr noundef nonnull align 8 dereferenceable(24) %25, i1 noundef zeroext false, i32 noundef %144, ptr noundef nonnull %26)
  %145 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIKmN10HtnRuleSet12FactDiffItemEEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %146 = getelementptr inbounds i8, ptr %145, i64 8
  %147 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZN10HtnRuleSet12FactDiffItemaSEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %146, ptr noundef nonnull align 8 dereferenceable(24) %25) #9
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %25) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %26) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %25) #9
  %148 = load i32, ptr %54, align 8, !tbaa !11
  %149 = add nsw i32 %148, 1
  store i32 %149, ptr %54, align 8, !tbaa !11
  br label %150

150:                                              ; preds = %140, %121
  %151 = load i32, ptr %20, align 4, !tbaa !9
  %.not = icmp eq i32 %151, -1
  br i1 %.not, label %158, label %152

152:                                              ; preds = %150
  %153 = invoke noundef i64 @_ZNSt3mapIiSt10shared_ptrI7HtnRuleESt4lessIiESaISt4pairIKiS2_EEE5eraseERS6_(ptr noundef nonnull align 8 dereferenceable(48) %56, ptr noundef nonnull align 4 dereferenceable(4) %20)
          to label %154 unwind label %156

154:                                              ; preds = %152
  %155 = icmp eq i64 %153, 1
  invoke void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef nonnull %0, i1 noundef zeroext %155, ptr noundef nonnull @.str, ptr noundef nonnull @.str.1, i64 noundef 341)
          to label %158 unwind label %156

156:                                              ; preds = %154, %152
  %157 = landingpad { ptr, i32 }
          cleanup
  br label %161

158:                                              ; preds = %154, %150
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %20) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %15) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %7) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #9
  %159 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %5) #9
  %160 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %6) #9
  br i1 %160, label %64, label %._crit_edge

161:                                              ; preds = %156, %138
  %.pn55 = phi { ptr, i32 } [ %157, %156 ], [ %139, %138 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %20) #9
  br label %162

162:                                              ; preds = %161, %136
  %.pn55.pn = phi { ptr, i32 } [ %.pn55, %161 ], [ %137, %136 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #9
  br label %163

163:                                              ; preds = %162, %134
  %.pn55.pn.pn = phi { ptr, i32 } [ %.pn55.pn, %162 ], [ %135, %134 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %15) #9
  br label %164

164:                                              ; preds = %131, %133, %163, %129
  %.pn55.pn.pn.pn = phi { ptr, i32 } [ %.pn55.pn.pn, %163 ], [ %132, %133 ], [ %132, %131 ], [ %130, %129 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #9
  br label %165

165:                                              ; preds = %164, %105, %93, %92, %83
  %.pn55.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn55.pn.pn.pn, %164 ], [ %.pn51.pn.pn, %105 ], [ %94, %93 ], [ %.pn48.pn, %92 ], [ %84, %83 ]
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %7) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #9
  br label %258

._crit_edge73:                                    ; preds = %249, %._crit_edge
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #9
  ret void

166:                                              ; preds = %.lr.ph72, %249
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %29) #9
  %167 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %27) #9
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 8 dereferenceable(16) %167) #9
  %168 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %29) #9
  %169 = invoke noundef zeroext i1 @_ZNK7HtnTerm8isGroundEv(ptr noundef nonnull align 8 dereferenceable(72) %168)
          to label %170 unwind label %185

170:                                              ; preds = %166
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %30) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %31) #9
  %171 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %29) #9
  invoke void @_ZN7HtnTerm8ToStringB5cxx11Ebb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %31, ptr noundef nonnull align 8 dereferenceable(72) %171, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %172 unwind label %187

172:                                              ; preds = %170
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %30, ptr noundef nonnull @.str.7, ptr noundef nonnull align 8 dereferenceable(32) %31)
          to label %173 unwind label %189

173:                                              ; preds = %172
  %174 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %30) #9
  invoke void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef nonnull %0, i1 noundef zeroext %169, ptr noundef %174, ptr noundef nonnull @.str.1, i64 noundef 349)
          to label %175 unwind label %191

175:                                              ; preds = %173
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %31) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #9
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %32, ptr noundef nonnull align 8 dereferenceable(16) %29) #9
  %176 = invoke noundef zeroext i1 @_ZNK10HtnRuleSet7HasFactESt10shared_ptrI7HtnTermE(ptr noundef nonnull align 8 dereferenceable(144) %0, ptr noundef nonnull %32)
          to label %177 unwind label %195

177:                                              ; preds = %175
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %32) #9
  br i1 %176, label %178, label %208

178:                                              ; preds = %177
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %33) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %34) #9
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %35) #9
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %35) #9
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %34, ptr noundef nonnull @.str.8, ptr noundef nonnull align 1 dereferenceable(1) %35)
          to label %179 unwind label %197

179:                                              ; preds = %178
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %36) #9
  %180 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %29) #9
  invoke void @_ZN7HtnTerm8ToStringB5cxx11Ebb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %36, ptr noundef nonnull align 8 dereferenceable(72) %180, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %181 unwind label %199

181:                                              ; preds = %179
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_S9_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %33, ptr noundef nonnull align 8 dereferenceable(32) %34, ptr noundef nonnull align 8 dereferenceable(32) %36)
          to label %182 unwind label %201

182:                                              ; preds = %181
  %183 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %33) #9
  invoke void @_Z39failfastThis_uncaught_exception_handlerPvbPKcS1_l(ptr noundef nonnull %0, i1 noundef zeroext false, ptr noundef %183, ptr noundef nonnull @.str.1, i64 noundef 354)
          to label %184 unwind label %203

184:                                              ; preds = %182
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #9
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %35) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %35) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %34) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %33) #9
  br label %208

185:                                              ; preds = %166
  %186 = landingpad { ptr, i32 }
          cleanup
  br label %257

187:                                              ; preds = %170
  %188 = landingpad { ptr, i32 }
          cleanup
  br label %194

189:                                              ; preds = %172
  %190 = landingpad { ptr, i32 }
          cleanup
  br label %193

191:                                              ; preds = %173
  %192 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #9
  br label %193

193:                                              ; preds = %191, %189
  %.pn = phi { ptr, i32 } [ %192, %191 ], [ %190, %189 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #9
  br label %194

194:                                              ; preds = %193, %187
  %.pn.pn = phi { ptr, i32 } [ %.pn, %193 ], [ %188, %187 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %31) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #9
  br label %257

195:                                              ; preds = %175
  %196 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %32) #9
  br label %257

197:                                              ; preds = %178
  %198 = landingpad { ptr, i32 }
          cleanup
  br label %207

199:                                              ; preds = %179
  %200 = landingpad { ptr, i32 }
          cleanup
  br label %206

201:                                              ; preds = %181
  %202 = landingpad { ptr, i32 }
          cleanup
  br label %205

203:                                              ; preds = %182
  %204 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #9
  br label %205

205:                                              ; preds = %203, %201
  %.pn39 = phi { ptr, i32 } [ %204, %203 ], [ %202, %201 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #9
  br label %206

206:                                              ; preds = %205, %199
  %.pn39.pn = phi { ptr, i32 } [ %.pn39, %205 ], [ %200, %199 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #9
  br label %207

207:                                              ; preds = %206, %197
  %.pn39.pn.pn = phi { ptr, i32 } [ %.pn39.pn, %206 ], [ %198, %197 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %35) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %35) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %34) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %33) #9
  br label %257

208:                                              ; preds = %184, %177
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %37) #9
  %209 = invoke noalias noundef nonnull dereferenceable(40) ptr @_Znwm(i64 noundef 40) #10
          to label %210 unwind label %231

210:                                              ; preds = %208
  call void @_ZNSt10shared_ptrI7HtnTermEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %38, ptr noundef nonnull align 8 dereferenceable(16) %29) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %39, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %39) #9
  invoke void @_ZN7HtnRuleC2ESt10shared_ptrI7HtnTermESt6vectorIS2_SaIS2_EE(ptr noundef nonnull align 8 dereferenceable(40) %209, ptr noundef nonnull %38, ptr noundef nonnull %39)
          to label %211 unwind label %233

211:                                              ; preds = %210
  invoke void @_ZNSt10shared_ptrI7HtnRuleEC2IS0_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %37, ptr noundef nonnull %209)
          to label %212 unwind label %233

212:                                              ; preds = %211
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %39) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %38) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %40) #9
  %213 = load i32, ptr %60, align 8, !tbaa !11
  store i32 %213, ptr %40, align 4, !tbaa !9
  %214 = add nsw i32 %213, 1
  store i32 %214, ptr %60, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %41) #9
  %215 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnTermLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %29) #9
  %216 = invoke noundef i64 @_ZNK7HtnTerm11GetUniqueIDEv(ptr noundef nonnull align 8 dereferenceable(72) %215)
          to label %217 unwind label %236

217:                                              ; preds = %212
  store i64 %216, ptr %41, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %42) #9
  %218 = invoke ptr @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE4findERS5_(ptr noundef nonnull align 8 dereferenceable(48) %61, ptr noundef nonnull align 8 dereferenceable(8) %41)
          to label %219 unwind label %238

219:                                              ; preds = %217
  store ptr %218, ptr %42, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %43) #9
  %220 = call ptr @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %61) #9
  store ptr %220, ptr %43, align 8
  %221 = call noundef zeroext i1 @_ZSteqRKSt17_Rb_tree_iteratorISt4pairIKmN10HtnRuleSet12FactDiffItemEEES7_(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef nonnull align 8 dereferenceable(8) %43) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %43) #9
  br i1 %221, label %222, label %242

222:                                              ; preds = %219
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %44) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %45) #9
  %223 = load i32, ptr %40, align 4, !tbaa !9
  call void @_ZNSt10shared_ptrI7HtnRuleEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %46, ptr noundef nonnull align 8 dereferenceable(16) %37) #9
  call void @_ZN10HtnRuleSet12FactDiffItemC2EbiSt10shared_ptrI7HtnRuleE(ptr noundef nonnull align 8 dereferenceable(24) %45, i1 noundef zeroext true, i32 noundef %223, ptr noundef nonnull %46)
  call void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEEC2IRmS2_TnNSt9enable_ifIXaaclsr5_PCCPE22_MoveConstructiblePairIT_T0_EEclsr5_PCCPE30_ImplicitlyMoveConvertiblePairIS7_S8_EEEbE4typeELb1EEEOS7_OS8_(ptr noundef nonnull align 8 dereferenceable(32) %44, ptr noundef nonnull align 8 dereferenceable(8) %41, ptr noundef nonnull align 8 dereferenceable(24) %45)
  %224 = invoke { ptr, i8 } @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE6insertEOS6_(ptr noundef nonnull align 8 dereferenceable(48) %61, ptr noundef nonnull align 8 dereferenceable(32) %44)
          to label %225 unwind label %240

225:                                              ; preds = %222
  call void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #9
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %45) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %46) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %45) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %44) #9
  %226 = call noundef ptr @_ZNKSt19__shared_ptr_accessI7HtnRuleLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %37) #9
  %227 = call noundef i64 @_ZN7HtnRule11dynamicSizeEv(ptr noundef nonnull align 8 dereferenceable(40) %226)
  %228 = add i64 %227, -8
  %229 = load i64, ptr %62, align 8, !tbaa !34
  %230 = add i64 %228, %229
  store i64 %230, ptr %62, align 8, !tbaa !34
  br label %247

231:                                              ; preds = %208
  %232 = landingpad { ptr, i32 }
          cleanup
  br label %256

233:                                              ; preds = %211, %210
  %.036 = phi i1 [ false, %211 ], [ true, %210 ]
  %234 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt6vectorISt10shared_ptrI7HtnTermESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %39) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %38) #9
  br i1 %.036, label %235, label %256

235:                                              ; preds = %233
  call void @_ZdlPvm(ptr noundef nonnull %209, i64 noundef 40) #11
  br label %256

236:                                              ; preds = %212
  %237 = landingpad { ptr, i32 }
          cleanup
  br label %255

238:                                              ; preds = %217
  %239 = landingpad { ptr, i32 }
          cleanup
  br label %254

240:                                              ; preds = %222
  %241 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt4pairIKmN10HtnRuleSet12FactDiffItemEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #9
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %45) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %46) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %45) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %44) #9
  br label %254

242:                                              ; preds = %219
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %47) #9
  %243 = load i32, ptr %40, align 4, !tbaa !9
  call void @_ZNSt10shared_ptrI7HtnRuleEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %48, ptr noundef nonnull align 8 dereferenceable(16) %37) #9
  call void @_ZN10HtnRuleSet12FactDiffItemC2EbiSt10shared_ptrI7HtnRuleE(ptr noundef nonnull align 8 dereferenceable(24) %47, i1 noundef zeroext true, i32 noundef %243, ptr noundef nonnull %48)
  %244 = call noundef ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIKmN10HtnRuleSet12FactDiffItemEEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %42) #9
  %245 = getelementptr inbounds i8, ptr %244, i64 8
  %246 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZN10HtnRuleSet12FactDiffItemaSEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %245, ptr noundef nonnull align 8 dereferenceable(24) %47) #9
  call void @_ZN10HtnRuleSet12FactDiffItemD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %47) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %48) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %47) #9
  br label %247

247:                                              ; preds = %242, %225
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %49) #9
  call void @_ZNSt4pairIKiSt10shared_ptrI7HtnRuleEEC2IRiRS3_TnNSt9enable_ifIXaaclsr5_PCCPE22_MoveConstructiblePairIT_T0_EEclsr5_PCCPE30_ImplicitlyMoveConvertiblePairIS9_SA_EEEbE4typeELb1EEEOS9_OSA_(ptr noundef nonnull align 8 dereferenceable(24) %49, ptr noundef nonnull align 4 dereferenceable(4) %40, ptr noundef nonnull align 8 dereferenceable(16) %37)
  %248 = invoke { ptr, i8 } @_ZNSt3mapIiSt10shared_ptrI7HtnRuleESt4lessIiESaISt4pairIKiS2_EEE6insertEOS7_(ptr noundef nonnull align 8 dereferenceable(48) %63, ptr noundef nonnull align 8 dereferenceable(24) %49)
          to label %249 unwind label %252

249:                                              ; preds = %247
  call void @_ZNSt4pairIKiSt10shared_ptrI7HtnRuleEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %49) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %49) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %42) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %41) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %40) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %37) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %37) #9
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %29) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %29) #9
  %250 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %27) #9
  %251 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKSt10shared_ptrI7HtnTermESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull align 8 dereferenceable(8) %28) #9
  br i1 %251, label %166, label %._crit_edge73

252:                                              ; preds = %247
  %253 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt4pairIKiSt10shared_ptrI7HtnRuleEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %49) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %49) #9
  br label %254

254:                                              ; preds = %252, %240, %238
  %.pn43 = phi { ptr, i32 } [ %253, %252 ], [ %241, %240 ], [ %239, %238 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %42) #9
  br label %255

255:                                              ; preds = %254, %236
  %.pn43.pn = phi { ptr, i32 } [ %.pn43, %254 ], [ %237, %236 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %41) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %40) #9
  call void @_ZNSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %37) #9
  br label %256

256:                                              ; preds = %233, %235, %255, %231
  %.pn43.pn.pn = phi { ptr, i32 } [ %.pn43.pn, %255 ], [ %234, %235 ], [ %234, %233 ], [ %232, %231 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %37) #9
  br label %257

257:                                              ; preds = %256, %207, %195, %194, %185
  %.pn43.pn.pn.pn = phi { ptr, i32 } [ %.pn43.pn.pn, %256 ], [ %.pn39.pn.pn, %207 ], [ %196, %195 ], [ %.pn.pn, %194 ], [ %186, %185 ]
  call void @_ZNSt12__shared_ptrI7HtnTermLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %29) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %29) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #9
  br label %258

258:                                              ; preds = %257, %165
  %.pn55.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn55.pn.pn.pn.pn, %165 ], [ %.pn43.pn.pn.pn, %257 ]
  resume { ptr, i32 } %.pn55.pn.pn.pn.pn.pn
}

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_S9_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #4

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i8 } @_ZNSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE6insertEOS6_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #3 align 2

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i8 } @_ZNSt3mapIiSt10shared_ptrI7HtnRuleESt4lessIiESaISt4pairIKiS2_EEE6insertEOS7_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #3 align 2

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

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

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

attributes #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 #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #6 = { nobuiltin allocsize(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 = { nobuiltin 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 #8 = { 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 #9 = { nounwind }
attributes #10 = { builtin allocsize(0) }
attributes #11 = { builtin nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"long", !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, !10, i64 72}
!12 = !{!"_ZTS10HtnRuleSet", !13, i64 0, !6, i64 16, !18, i64 24, !10, i64 72, !26, i64 80, !31, i64 128}
!13 = !{!"_ZTSSt23enable_shared_from_thisI10HtnRuleSetE", !14, i64 0}
!14 = !{!"_ZTSSt8weak_ptrI10HtnRuleSetE", !15, i64 0}
!15 = !{!"_ZTSSt10__weak_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EE", !16, i64 0, !17, i64 8}
!16 = !{!"any pointer", !7, i64 0}
!17 = !{!"_ZTSSt12__weak_countILN9__gnu_cxx12_Lock_policyE2EE", !16, i64 0}
!18 = !{!"_ZTSSt3mapImN10HtnRuleSet12FactDiffItemESt4lessImESaISt4pairIKmS1_EEE", !19, i64 0}
!19 = !{!"_ZTSSt8_Rb_treeImSt4pairIKmN10HtnRuleSet12FactDiffItemEESt10_Select1stIS4_ESt4lessImESaIS4_EE", !20, i64 0}
!20 = !{!"_ZTSNSt8_Rb_treeImSt4pairIKmN10HtnRuleSet12FactDiffItemEESt10_Select1stIS4_ESt4lessImESaIS4_EE13_Rb_tree_implIS8_Lb1EEE", !21, i64 0, !23, i64 8}
!21 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessImEE", !22, i64 0}
!22 = !{!"_ZTSSt4lessImE"}
!23 = !{!"_ZTSSt15_Rb_tree_header", !24, i64 0, !6, i64 32}
!24 = !{!"_ZTSSt18_Rb_tree_node_base", !25, i64 0, !16, i64 8, !16, i64 16, !16, i64 24}
!25 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!26 = !{!"_ZTSSt3mapIiSt10shared_ptrI7HtnRuleESt4lessIiESaISt4pairIKiS2_EEE", !27, i64 0}
!27 = !{!"_ZTSSt8_Rb_treeIiSt4pairIKiSt10shared_ptrI7HtnRuleEESt10_Select1stIS5_ESt4lessIiESaIS5_EE", !28, i64 0}
!28 = !{!"_ZTSNSt8_Rb_treeIiSt4pairIKiSt10shared_ptrI7HtnRuleEESt10_Select1stIS5_ESt4lessIiESaIS5_EE13_Rb_tree_implIS9_Lb1EEE", !29, i64 0, !23, i64 8}
!29 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIiEE", !30, i64 0}
!30 = !{!"_ZTSSt4lessIiE"}
!31 = !{!"_ZTSSt10shared_ptrIN10HtnRuleSet14HtnSharedRulesEE", !32, i64 0}
!32 = !{!"_ZTSSt12__shared_ptrIN10HtnRuleSet14HtnSharedRulesELN9__gnu_cxx12_Lock_policyE2EE", !16, i64 0, !33, i64 8}
!33 = !{!"_ZTSSt14__shared_countILN9__gnu_cxx12_Lock_policyE2EE", !16, i64 0}
!34 = !{!12, !6, i64 16}
!35 = !{!36, !10, i64 12}
!36 = !{!"_ZTSSt4pairIKmN10HtnRuleSet12FactDiffItemEE", !6, i64 0, !37, i64 8}
!37 = !{!"_ZTSN10HtnRuleSet12FactDiffItemE", !38, i64 0, !10, i64 4, !39, i64 8}
!38 = !{!"bool", !7, i64 0}
!39 = !{!"_ZTSSt10shared_ptrI7HtnRuleE", !40, i64 0}
!40 = !{!"_ZTSSt12__shared_ptrI7HtnRuleLN9__gnu_cxx12_Lock_policyE2EE", !16, i64 0, !33, i64 8}


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