; LLVM IR from EricZinda/InductorHtn :: src/Tests/Prolog (PrologCompilerTests)

; 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::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::shared_ptr.29" = type { %"class.std::__shared_ptr.30" }
%"class.std::__shared_ptr.30" = type { ptr, %"class.std::__shared_count" }
%"class.std::shared_ptr.50" = type { %"class.std::__shared_ptr.51" }
%"class.std::__shared_ptr.51" = type { ptr, %"class.std::__shared_count" }
%"class.std::shared_ptr.53" = type { %"class.std::__shared_ptr.54" }
%"class.std::__shared_ptr.54" = type { ptr, %"class.std::__shared_count" }
%"class.std::set" = type { %"class.std::_Rb_tree.64" }
%"class.std::_Rb_tree.64" = type { %"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>, std::_Identity<std::__cxx11::basic_string<char>>, std::less<std::__cxx11::basic_string<char>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>, std::_Identity<std::__cxx11::basic_string<char>>, std::less<std::__cxx11::basic_string<char>>>::_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::__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.UnitTest::TestDetails" = type <{ ptr, ptr, ptr, i32, i8, i8, [2 x i8] }>
%"struct.std::_Rb_tree_const_iterator" = type { ptr }

@.str = external hidden unnamed_addr constant [22 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [87 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [94 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [72 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [102 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN24SuitePrologCompilerTests38TestPrologCompilerMissingRuleDetection7RunImplEv(ptr noundef nonnull align 8 dereferenceable(49) %0) unnamed_addr #0 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca %"class.std::shared_ptr", align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca %"class.std::shared_ptr.29", align 8
  %7 = alloca %"class.std::shared_ptr.50", align 8
  %8 = alloca %"class.std::shared_ptr.53", align 8
  %9 = alloca %"class.std::set", align 8
  %10 = alloca %"class.std::__cxx11::basic_string", align 8
  %11 = alloca %"class.std::shared_ptr.50", align 8
  %12 = alloca %"class.std::__cxx11::basic_string", align 8
  %13 = alloca %"class.std::__cxx11::basic_string", align 8
  %14 = alloca %"class.UnitTest::TestDetails", align 8
  %15 = alloca %"class.UnitTest::TestDetails", align 8
  %16 = alloca %"class.std::set", align 8
  %17 = alloca %"class.std::shared_ptr.53", align 8
  %18 = alloca %"class.UnitTest::TestDetails", align 8
  %19 = alloca %"class.UnitTest::TestDetails", align 8
  %20 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %21 = alloca %"class.UnitTest::TestDetails", align 8
  %22 = alloca %"class.UnitTest::TestDetails", align 8
  %23 = alloca %"class.std::shared_ptr.50", align 8
  %24 = alloca %"class.std::__cxx11::basic_string", align 8
  %25 = alloca %"class.std::__cxx11::basic_string", align 8
  %26 = alloca %"class.UnitTest::TestDetails", align 8
  %27 = alloca %"class.UnitTest::TestDetails", align 8
  %28 = alloca %"class.std::set", align 8
  %29 = alloca %"class.std::shared_ptr.53", align 8
  %30 = alloca %"class.UnitTest::TestDetails", align 8
  %31 = alloca %"class.UnitTest::TestDetails", align 8
  %32 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %33 = alloca %"class.UnitTest::TestDetails", align 8
  %34 = alloca %"class.UnitTest::TestDetails", align 8
  %35 = alloca %"class.std::shared_ptr.50", align 8
  %36 = alloca %"class.std::__cxx11::basic_string", align 8
  %37 = alloca %"class.std::__cxx11::basic_string", align 8
  %38 = alloca %"class.UnitTest::TestDetails", align 8
  %39 = alloca %"class.UnitTest::TestDetails", align 8
  %40 = alloca %"class.std::set", align 8
  %41 = alloca %"class.std::shared_ptr.53", align 8
  %42 = alloca %"class.UnitTest::TestDetails", align 8
  %43 = alloca %"class.UnitTest::TestDetails", align 8
  %44 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %45 = alloca %"class.UnitTest::TestDetails", align 8
  %46 = alloca %"class.UnitTest::TestDetails", align 8
  store ptr %0, ptr %2, align 8, !tbaa !5
  %47 = load ptr, ptr %2, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr %3) #9
  %48 = call noalias noundef nonnull ptr @_Znwm(i64 noundef 33088) #10
  invoke void @_ZN14HtnTermFactoryC1Ev(ptr noundef nonnull align 8 dereferenceable(33088) %48)
          to label %49 unwind label %84

49:                                               ; preds = %1
  call void @_ZNSt10shared_ptrI14HtnTermFactoryEC2IS0_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %3, ptr noundef %48)
  call void @llvm.lifetime.start.p0(i64 16, ptr %6) #9
  %50 = invoke noalias noundef nonnull ptr @_Znwm(i64 noundef 144) #10
          to label %51 unwind label %88

51:                                               ; preds = %49
  invoke void @_ZN10HtnRuleSetC2Ev(ptr noundef nonnull align 8 dereferenceable(144) %50)
          to label %52 unwind label %92

52:                                               ; preds = %51
  invoke void @_ZNSt10shared_ptrI10HtnRuleSetEC2IS0_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %6, ptr noundef %50)
          to label %53 unwind label %88

53:                                               ; preds = %52
  call void @llvm.lifetime.start.p0(i64 16, ptr %7) #9
  call void @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %7) #9
  call void @llvm.lifetime.start.p0(i64 16, ptr %8) #9
  %54 = invoke noalias noundef nonnull ptr @_Znwm(i64 noundef 64) #10
          to label %55 unwind label %96

55:                                               ; preds = %53
  invoke void @_ZN15HtnGoalResolverC1Ev(ptr noundef nonnull align 8 dereferenceable(64) %54)
          to label %56 unwind label %100

56:                                               ; preds = %55
  invoke void @_ZNSt10shared_ptrI15HtnGoalResolverEC2IS0_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef %54)
          to label %57 unwind label %96

57:                                               ; preds = %56
  call void @llvm.lifetime.start.p0(i64 48, ptr %9) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %9) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr %10) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #9
  %58 = call noundef ptr @_ZNKSt19__shared_ptr_accessI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %6) #9
  invoke void @_ZN10HtnRuleSet8ClearAllEv(ptr noundef nonnull align 8 dereferenceable(144) %58)
          to label %59 unwind label %104

59:                                               ; preds = %57
  call void @llvm.lifetime.start.p0(i64 16, ptr %11) #9
  %60 = invoke noalias noundef nonnull ptr @_Znwm(i64 noundef 88) #10
          to label %61 unwind label %108

61:                                               ; preds = %59
  %62 = call noundef ptr @_ZNKSt12__shared_ptrI14HtnTermFactoryLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %3) #9
  %63 = call noundef ptr @_ZNKSt12__shared_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %6) #9
  invoke void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEEC2EP14HtnTermFactoryP10HtnRuleSet(ptr noundef nonnull align 8 dereferenceable(88) %60, ptr noundef %62, ptr noundef %63)
          to label %64 unwind label %112

64:                                               ; preds = %61
  invoke void @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEC2IS3_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %11, ptr noundef %60)
          to label %65 unwind label %108

65:                                               ; preds = %64
  %66 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef nonnull align 8 dereferenceable(16) %11) #9
  call void @_ZNSt12__shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %11) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #9
  br label %67

67:                                               ; preds = %65
  %68 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %7) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr %13) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #9
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %12, ptr noundef nonnull align 8 dereferenceable(32) %13, ptr noundef @.str)
          to label %69 unwind label %117

69:                                               ; preds = %67
  %70 = invoke noundef zeroext i1 @_ZN6FXPlat8CompilerIN6Prolog14PrologDocumentINS1_11HtnVariableEEEE7CompileENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %68, ptr noundef %12)
          to label %71 unwind label %121

71:                                               ; preds = %69
  %72 = invoke noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %70)
          to label %73 unwind label %121

73:                                               ; preds = %71
  %74 = xor i1 %72, true
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %13) #9
  br i1 %74, label %75, label %166

75:                                               ; preds = %73
  %76 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %77 unwind label %126

77:                                               ; preds = %75
  %78 = load ptr, ptr %76, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %14) #9
  %79 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %80 unwind label %130

80:                                               ; preds = %77
  %81 = load ptr, ptr %79, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %14, ptr noundef nonnull align 8 dereferenceable(30) %81, i32 noundef 40)
          to label %82 unwind label %130

82:                                               ; preds = %80
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %78, ptr noundef nonnull align 8 dereferenceable(30) %14, ptr noundef @.str.3)
          to label %83 unwind label %130

83:                                               ; preds = %82
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #9
  br label %166

84:                                               ; preds = %1
  %85 = landingpad { ptr, i32 }
          cleanup
  %86 = extractvalue { ptr, i32 } %85, 0
  store ptr %86, ptr %4, align 8
  %87 = extractvalue { ptr, i32 } %85, 1
  store i32 %87, ptr %5, align 4
  call void @_ZdlPvm(ptr noundef %48, i64 noundef 33088) #11
  br label %655

88:                                               ; preds = %52, %49
  %89 = landingpad { ptr, i32 }
          cleanup
  %90 = extractvalue { ptr, i32 } %89, 0
  store ptr %90, ptr %4, align 8
  %91 = extractvalue { ptr, i32 } %89, 1
  store i32 %91, ptr %5, align 4
  br label %654

92:                                               ; preds = %51
  %93 = landingpad { ptr, i32 }
          cleanup
  %94 = extractvalue { ptr, i32 } %93, 0
  store ptr %94, ptr %4, align 8
  %95 = extractvalue { ptr, i32 } %93, 1
  store i32 %95, ptr %5, align 4
  call void @_ZdlPvm(ptr noundef %50, i64 noundef 144) #11
  br label %654

96:                                               ; preds = %56, %53
  %97 = landingpad { ptr, i32 }
          cleanup
  %98 = extractvalue { ptr, i32 } %97, 0
  store ptr %98, ptr %4, align 8
  %99 = extractvalue { ptr, i32 } %97, 1
  store i32 %99, ptr %5, align 4
  br label %653

100:                                              ; preds = %55
  %101 = landingpad { ptr, i32 }
          cleanup
  %102 = extractvalue { ptr, i32 } %101, 0
  store ptr %102, ptr %4, align 8
  %103 = extractvalue { ptr, i32 } %101, 1
  store i32 %103, ptr %5, align 4
  call void @_ZdlPvm(ptr noundef %54, i64 noundef 64) #11
  br label %653

104:                                              ; preds = %636, %579, %524, %450, %446, %389, %334, %260, %256, %199, %144, %57
  %105 = landingpad { ptr, i32 }
          cleanup
  %106 = extractvalue { ptr, i32 } %105, 0
  store ptr %106, ptr %4, align 8
  %107 = extractvalue { ptr, i32 } %105, 1
  store i32 %107, ptr %5, align 4
  br label %652

108:                                              ; preds = %64, %59
  %109 = landingpad { ptr, i32 }
          cleanup
  %110 = extractvalue { ptr, i32 } %109, 0
  store ptr %110, ptr %4, align 8
  %111 = extractvalue { ptr, i32 } %109, 1
  store i32 %111, ptr %5, align 4
  br label %116

112:                                              ; preds = %61
  %113 = landingpad { ptr, i32 }
          cleanup
  %114 = extractvalue { ptr, i32 } %113, 0
  store ptr %114, ptr %4, align 8
  %115 = extractvalue { ptr, i32 } %113, 1
  store i32 %115, ptr %5, align 4
  call void @_ZdlPvm(ptr noundef %60, i64 noundef 88) #11
  br label %116

116:                                              ; preds = %112, %108
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #9
  br label %652

117:                                              ; preds = %67
  %118 = landingpad { ptr, i32 }
          catch ptr null
  %119 = extractvalue { ptr, i32 } %118, 0
  store ptr %119, ptr %4, align 8
  %120 = extractvalue { ptr, i32 } %118, 1
  store i32 %120, ptr %5, align 4
  br label %125

121:                                              ; preds = %71, %69
  %122 = landingpad { ptr, i32 }
          catch ptr null
  %123 = extractvalue { ptr, i32 } %122, 0
  store ptr %123, ptr %4, align 8
  %124 = extractvalue { ptr, i32 } %122, 1
  store i32 %124, ptr %5, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #9
  br label %125

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

126:                                              ; preds = %75
  %127 = landingpad { ptr, i32 }
          catch ptr null
  %128 = extractvalue { ptr, i32 } %127, 0
  store ptr %128, ptr %4, align 8
  %129 = extractvalue { ptr, i32 } %127, 1
  store i32 %129, ptr %5, align 4
  br label %134

130:                                              ; preds = %82, %80, %77
  %131 = landingpad { ptr, i32 }
          catch ptr null
  %132 = extractvalue { ptr, i32 } %131, 0
  store ptr %132, ptr %4, align 8
  %133 = extractvalue { ptr, i32 } %131, 1
  store i32 %133, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #9
  br label %134

134:                                              ; preds = %130, %126, %125
  %135 = load ptr, ptr %4, align 8
  %136 = call ptr @__cxa_begin_catch(ptr %135) #9
  %137 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %138 unwind label %167

138:                                              ; preds = %134
  %139 = load ptr, ptr %137, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %15) #9
  %140 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %141 unwind label %171

141:                                              ; preds = %138
  %142 = load ptr, ptr %140, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %15, ptr noundef nonnull align 8 dereferenceable(30) %142, i32 noundef 40)
          to label %143 unwind label %171

143:                                              ; preds = %141
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %139, ptr noundef nonnull align 8 dereferenceable(30) %15, ptr noundef @.str.4)
          to label %144 unwind label %171

144:                                              ; preds = %143
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #9
  invoke void @__cxa_end_catch()
          to label %145 unwind label %104

145:                                              ; preds = %144
  br label %146

146:                                              ; preds = %166, %145
  br label %147

147:                                              ; preds = %146
  br label %148

148:                                              ; preds = %147
  call void @llvm.lifetime.start.p0(i64 48, ptr %16) #9
  %149 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %7) #9
  call void @_ZNSt10shared_ptrI15HtnGoalResolverEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %17, ptr noundef nonnull align 8 dereferenceable(16) %8) #9
  invoke void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEE19FindRuleLogicErrorsB5cxx11ESt10shared_ptrI15HtnGoalResolverE(ptr dead_on_unwind writable sret(%"class.std::set") align 8 %16, ptr noundef nonnull align 8 dereferenceable(88) %149, ptr noundef %17)
          to label %150 unwind label %177

150:                                              ; preds = %148
  %151 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EEaSEOS9_(ptr noundef nonnull align 8 dereferenceable(48) %9, ptr noundef nonnull align 8 dereferenceable(48) %16) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %16) #9
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %17) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr %16) #9
  br label %152

152:                                              ; preds = %150
  %153 = call noundef i64 @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %9) #9
  %154 = icmp eq i64 %153, 1
  %155 = invoke noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %154)
          to label %156 unwind label %181

156:                                              ; preds = %152
  br i1 %155, label %223, label %157

157:                                              ; preds = %156
  %158 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %159 unwind label %181

159:                                              ; preds = %157
  %160 = load ptr, ptr %158, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %18) #9
  %161 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %162 unwind label %185

162:                                              ; preds = %159
  %163 = load ptr, ptr %161, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %18, ptr noundef nonnull align 8 dereferenceable(30) %163, i32 noundef 42)
          to label %164 unwind label %185

164:                                              ; preds = %162
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %160, ptr noundef nonnull align 8 dereferenceable(30) %18, ptr noundef @.str.5)
          to label %165 unwind label %185

165:                                              ; preds = %164
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #9
  br label %223

166:                                              ; preds = %83, %73
  br label %146

167:                                              ; preds = %134
  %168 = landingpad { ptr, i32 }
          cleanup
  %169 = extractvalue { ptr, i32 } %168, 0
  store ptr %169, ptr %4, align 8
  %170 = extractvalue { ptr, i32 } %168, 1
  store i32 %170, ptr %5, align 4
  br label %175

171:                                              ; preds = %143, %141, %138
  %172 = landingpad { ptr, i32 }
          cleanup
  %173 = extractvalue { ptr, i32 } %172, 0
  store ptr %173, ptr %4, align 8
  %174 = extractvalue { ptr, i32 } %172, 1
  store i32 %174, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %15) #9
  br label %175

175:                                              ; preds = %171, %167
  invoke void @__cxa_end_catch()
          to label %176 unwind label %661

176:                                              ; preds = %175
  br label %652

177:                                              ; preds = %148
  %178 = landingpad { ptr, i32 }
          cleanup
  %179 = extractvalue { ptr, i32 } %178, 0
  store ptr %179, ptr %4, align 8
  %180 = extractvalue { ptr, i32 } %178, 1
  store i32 %180, ptr %5, align 4
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %17) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr %16) #9
  br label %652

181:                                              ; preds = %157, %152
  %182 = landingpad { ptr, i32 }
          catch ptr null
  %183 = extractvalue { ptr, i32 } %182, 0
  store ptr %183, ptr %4, align 8
  %184 = extractvalue { ptr, i32 } %182, 1
  store i32 %184, ptr %5, align 4
  br label %189

185:                                              ; preds = %164, %162, %159
  %186 = landingpad { ptr, i32 }
          catch ptr null
  %187 = extractvalue { ptr, i32 } %186, 0
  store ptr %187, ptr %4, align 8
  %188 = extractvalue { ptr, i32 } %186, 1
  store i32 %188, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #9
  br label %189

189:                                              ; preds = %185, %181
  %190 = load ptr, ptr %4, align 8
  %191 = call ptr @__cxa_begin_catch(ptr %190) #9
  %192 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %193 unwind label %224

193:                                              ; preds = %189
  %194 = load ptr, ptr %192, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %19) #9
  %195 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %196 unwind label %228

196:                                              ; preds = %193
  %197 = load ptr, ptr %195, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %19, ptr noundef nonnull align 8 dereferenceable(30) %197, i32 noundef 42)
          to label %198 unwind label %228

198:                                              ; preds = %196
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %194, ptr noundef nonnull align 8 dereferenceable(30) %19, ptr noundef @.str.6)
          to label %199 unwind label %228

199:                                              ; preds = %198
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #9
  invoke void @__cxa_end_catch()
          to label %200 unwind label %104

200:                                              ; preds = %199
  br label %201

201:                                              ; preds = %223, %200
  br label %202

202:                                              ; preds = %201
  br label %203

203:                                              ; preds = %202
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #9
  %204 = call ptr @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %9) #9
  %205 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %20, i32 0, i32 0
  store ptr %204, ptr %205, align 8
  %206 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt23_Rb_tree_const_iteratorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #9
  %207 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef nonnull align 8 dereferenceable(32) %206)
          to label %208 unwind label %234

208:                                              ; preds = %203
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #9
  br label %209

209:                                              ; preds = %208
  %210 = invoke noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef @.str.7)
          to label %211 unwind label %238

211:                                              ; preds = %209
  %212 = invoke noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %210)
          to label %213 unwind label %238

213:                                              ; preds = %211
  br i1 %212, label %287, label %214

214:                                              ; preds = %213
  %215 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %216 unwind label %238

216:                                              ; preds = %214
  %217 = load ptr, ptr %215, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %21) #9
  %218 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %219 unwind label %242

219:                                              ; preds = %216
  %220 = load ptr, ptr %218, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %21, ptr noundef nonnull align 8 dereferenceable(30) %220, i32 noundef 44)
          to label %221 unwind label %242

221:                                              ; preds = %219
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %217, ptr noundef nonnull align 8 dereferenceable(30) %21, ptr noundef @.str.8)
          to label %222 unwind label %242

222:                                              ; preds = %221
  call void @llvm.lifetime.end.p0(i64 32, ptr %21) #9
  br label %287

223:                                              ; preds = %165, %156
  br label %201

224:                                              ; preds = %189
  %225 = landingpad { ptr, i32 }
          cleanup
  %226 = extractvalue { ptr, i32 } %225, 0
  store ptr %226, ptr %4, align 8
  %227 = extractvalue { ptr, i32 } %225, 1
  store i32 %227, ptr %5, align 4
  br label %232

228:                                              ; preds = %198, %196, %193
  %229 = landingpad { ptr, i32 }
          cleanup
  %230 = extractvalue { ptr, i32 } %229, 0
  store ptr %230, ptr %4, align 8
  %231 = extractvalue { ptr, i32 } %229, 1
  store i32 %231, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #9
  br label %232

232:                                              ; preds = %228, %224
  invoke void @__cxa_end_catch()
          to label %233 unwind label %661

233:                                              ; preds = %232
  br label %652

234:                                              ; preds = %203
  %235 = landingpad { ptr, i32 }
          cleanup
  %236 = extractvalue { ptr, i32 } %235, 0
  store ptr %236, ptr %4, align 8
  %237 = extractvalue { ptr, i32 } %235, 1
  store i32 %237, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #9
  br label %652

238:                                              ; preds = %214, %211, %209
  %239 = landingpad { ptr, i32 }
          catch ptr null
  %240 = extractvalue { ptr, i32 } %239, 0
  store ptr %240, ptr %4, align 8
  %241 = extractvalue { ptr, i32 } %239, 1
  store i32 %241, ptr %5, align 4
  br label %246

242:                                              ; preds = %221, %219, %216
  %243 = landingpad { ptr, i32 }
          catch ptr null
  %244 = extractvalue { ptr, i32 } %243, 0
  store ptr %244, ptr %4, align 8
  %245 = extractvalue { ptr, i32 } %243, 1
  store i32 %245, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %21) #9
  br label %246

246:                                              ; preds = %242, %238
  %247 = load ptr, ptr %4, align 8
  %248 = call ptr @__cxa_begin_catch(ptr %247) #9
  %249 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %250 unwind label %288

250:                                              ; preds = %246
  %251 = load ptr, ptr %249, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %22) #9
  %252 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %253 unwind label %292

253:                                              ; preds = %250
  %254 = load ptr, ptr %252, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %22, ptr noundef nonnull align 8 dereferenceable(30) %254, i32 noundef 44)
          to label %255 unwind label %292

255:                                              ; preds = %253
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %251, ptr noundef nonnull align 8 dereferenceable(30) %22, ptr noundef @.str.9)
          to label %256 unwind label %292

256:                                              ; preds = %255
  call void @llvm.lifetime.end.p0(i64 32, ptr %22) #9
  invoke void @__cxa_end_catch()
          to label %257 unwind label %104

257:                                              ; preds = %256
  br label %258

258:                                              ; preds = %287, %257
  br label %259

259:                                              ; preds = %258
  br label %260

260:                                              ; preds = %259
  %261 = call noundef ptr @_ZNKSt19__shared_ptr_accessI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %6) #9
  invoke void @_ZN10HtnRuleSet8ClearAllEv(ptr noundef nonnull align 8 dereferenceable(144) %261)
          to label %262 unwind label %104

262:                                              ; preds = %260
  call void @llvm.lifetime.start.p0(i64 16, ptr %23) #9
  %263 = invoke noalias noundef nonnull ptr @_Znwm(i64 noundef 88) #10
          to label %264 unwind label %298

264:                                              ; preds = %262
  %265 = call noundef ptr @_ZNKSt12__shared_ptrI14HtnTermFactoryLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %3) #9
  %266 = call noundef ptr @_ZNKSt12__shared_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %6) #9
  invoke void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEEC2EP14HtnTermFactoryP10HtnRuleSet(ptr noundef nonnull align 8 dereferenceable(88) %263, ptr noundef %265, ptr noundef %266)
          to label %267 unwind label %302

267:                                              ; preds = %264
  invoke void @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEC2IS3_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %23, ptr noundef %263)
          to label %268 unwind label %298

268:                                              ; preds = %267
  %269 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef nonnull align 8 dereferenceable(16) %23) #9
  call void @_ZNSt12__shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %23) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #9
  br label %270

270:                                              ; preds = %268
  %271 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %7) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr %25) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #9
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %24, ptr noundef nonnull align 8 dereferenceable(32) %25, ptr noundef @.str.10)
          to label %272 unwind label %307

272:                                              ; preds = %270
  %273 = invoke noundef zeroext i1 @_ZN6FXPlat8CompilerIN6Prolog14PrologDocumentINS1_11HtnVariableEEEE7CompileENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %271, ptr noundef %24)
          to label %274 unwind label %311

274:                                              ; preds = %272
  %275 = invoke noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %273)
          to label %276 unwind label %311

276:                                              ; preds = %274
  %277 = xor i1 %275, true
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %25) #9
  br i1 %277, label %278, label %356

278:                                              ; preds = %276
  %279 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %280 unwind label %316

280:                                              ; preds = %278
  %281 = load ptr, ptr %279, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %26) #9
  %282 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %283 unwind label %320

283:                                              ; preds = %280
  %284 = load ptr, ptr %282, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %26, ptr noundef nonnull align 8 dereferenceable(30) %284, i32 noundef 51)
          to label %285 unwind label %320

285:                                              ; preds = %283
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %281, ptr noundef nonnull align 8 dereferenceable(30) %26, ptr noundef @.str.11)
          to label %286 unwind label %320

286:                                              ; preds = %285
  call void @llvm.lifetime.end.p0(i64 32, ptr %26) #9
  br label %356

287:                                              ; preds = %222, %213
  br label %258

288:                                              ; preds = %246
  %289 = landingpad { ptr, i32 }
          cleanup
  %290 = extractvalue { ptr, i32 } %289, 0
  store ptr %290, ptr %4, align 8
  %291 = extractvalue { ptr, i32 } %289, 1
  store i32 %291, ptr %5, align 4
  br label %296

292:                                              ; preds = %255, %253, %250
  %293 = landingpad { ptr, i32 }
          cleanup
  %294 = extractvalue { ptr, i32 } %293, 0
  store ptr %294, ptr %4, align 8
  %295 = extractvalue { ptr, i32 } %293, 1
  store i32 %295, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %22) #9
  br label %296

296:                                              ; preds = %292, %288
  invoke void @__cxa_end_catch()
          to label %297 unwind label %661

297:                                              ; preds = %296
  br label %652

298:                                              ; preds = %267, %262
  %299 = landingpad { ptr, i32 }
          cleanup
  %300 = extractvalue { ptr, i32 } %299, 0
  store ptr %300, ptr %4, align 8
  %301 = extractvalue { ptr, i32 } %299, 1
  store i32 %301, ptr %5, align 4
  br label %306

302:                                              ; preds = %264
  %303 = landingpad { ptr, i32 }
          cleanup
  %304 = extractvalue { ptr, i32 } %303, 0
  store ptr %304, ptr %4, align 8
  %305 = extractvalue { ptr, i32 } %303, 1
  store i32 %305, ptr %5, align 4
  call void @_ZdlPvm(ptr noundef %263, i64 noundef 88) #11
  br label %306

306:                                              ; preds = %302, %298
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #9
  br label %652

307:                                              ; preds = %270
  %308 = landingpad { ptr, i32 }
          catch ptr null
  %309 = extractvalue { ptr, i32 } %308, 0
  store ptr %309, ptr %4, align 8
  %310 = extractvalue { ptr, i32 } %308, 1
  store i32 %310, ptr %5, align 4
  br label %315

311:                                              ; preds = %274, %272
  %312 = landingpad { ptr, i32 }
          catch ptr null
  %313 = extractvalue { ptr, i32 } %312, 0
  store ptr %313, ptr %4, align 8
  %314 = extractvalue { ptr, i32 } %312, 1
  store i32 %314, ptr %5, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #9
  br label %315

315:                                              ; preds = %311, %307
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %25) #9
  br label %324

316:                                              ; preds = %278
  %317 = landingpad { ptr, i32 }
          catch ptr null
  %318 = extractvalue { ptr, i32 } %317, 0
  store ptr %318, ptr %4, align 8
  %319 = extractvalue { ptr, i32 } %317, 1
  store i32 %319, ptr %5, align 4
  br label %324

320:                                              ; preds = %285, %283, %280
  %321 = landingpad { ptr, i32 }
          catch ptr null
  %322 = extractvalue { ptr, i32 } %321, 0
  store ptr %322, ptr %4, align 8
  %323 = extractvalue { ptr, i32 } %321, 1
  store i32 %323, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %26) #9
  br label %324

324:                                              ; preds = %320, %316, %315
  %325 = load ptr, ptr %4, align 8
  %326 = call ptr @__cxa_begin_catch(ptr %325) #9
  %327 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %328 unwind label %357

328:                                              ; preds = %324
  %329 = load ptr, ptr %327, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %27) #9
  %330 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %331 unwind label %361

331:                                              ; preds = %328
  %332 = load ptr, ptr %330, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %27, ptr noundef nonnull align 8 dereferenceable(30) %332, i32 noundef 51)
          to label %333 unwind label %361

333:                                              ; preds = %331
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %329, ptr noundef nonnull align 8 dereferenceable(30) %27, ptr noundef @.str.12)
          to label %334 unwind label %361

334:                                              ; preds = %333
  call void @llvm.lifetime.end.p0(i64 32, ptr %27) #9
  invoke void @__cxa_end_catch()
          to label %335 unwind label %104

335:                                              ; preds = %334
  br label %336

336:                                              ; preds = %356, %335
  br label %337

337:                                              ; preds = %336
  br label %338

338:                                              ; preds = %337
  call void @llvm.lifetime.start.p0(i64 48, ptr %28) #9
  %339 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %7) #9
  call void @_ZNSt10shared_ptrI15HtnGoalResolverEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull align 8 dereferenceable(16) %8) #9
  invoke void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEE19FindRuleLogicErrorsB5cxx11ESt10shared_ptrI15HtnGoalResolverE(ptr dead_on_unwind writable sret(%"class.std::set") align 8 %28, ptr noundef nonnull align 8 dereferenceable(88) %339, ptr noundef %29)
          to label %340 unwind label %367

340:                                              ; preds = %338
  %341 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EEaSEOS9_(ptr noundef nonnull align 8 dereferenceable(48) %9, ptr noundef nonnull align 8 dereferenceable(48) %28) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %28) #9
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %29) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr %28) #9
  br label %342

342:                                              ; preds = %340
  %343 = call noundef i64 @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %9) #9
  %344 = icmp eq i64 %343, 1
  %345 = invoke noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %344)
          to label %346 unwind label %371

346:                                              ; preds = %342
  br i1 %345, label %413, label %347

347:                                              ; preds = %346
  %348 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %349 unwind label %371

349:                                              ; preds = %347
  %350 = load ptr, ptr %348, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %30) #9
  %351 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %352 unwind label %375

352:                                              ; preds = %349
  %353 = load ptr, ptr %351, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %30, ptr noundef nonnull align 8 dereferenceable(30) %353, i32 noundef 53)
          to label %354 unwind label %375

354:                                              ; preds = %352
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %350, ptr noundef nonnull align 8 dereferenceable(30) %30, ptr noundef @.str.5)
          to label %355 unwind label %375

355:                                              ; preds = %354
  call void @llvm.lifetime.end.p0(i64 32, ptr %30) #9
  br label %413

356:                                              ; preds = %286, %276
  br label %336

357:                                              ; preds = %324
  %358 = landingpad { ptr, i32 }
          cleanup
  %359 = extractvalue { ptr, i32 } %358, 0
  store ptr %359, ptr %4, align 8
  %360 = extractvalue { ptr, i32 } %358, 1
  store i32 %360, ptr %5, align 4
  br label %365

361:                                              ; preds = %333, %331, %328
  %362 = landingpad { ptr, i32 }
          cleanup
  %363 = extractvalue { ptr, i32 } %362, 0
  store ptr %363, ptr %4, align 8
  %364 = extractvalue { ptr, i32 } %362, 1
  store i32 %364, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %27) #9
  br label %365

365:                                              ; preds = %361, %357
  invoke void @__cxa_end_catch()
          to label %366 unwind label %661

366:                                              ; preds = %365
  br label %652

367:                                              ; preds = %338
  %368 = landingpad { ptr, i32 }
          cleanup
  %369 = extractvalue { ptr, i32 } %368, 0
  store ptr %369, ptr %4, align 8
  %370 = extractvalue { ptr, i32 } %368, 1
  store i32 %370, ptr %5, align 4
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %29) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr %28) #9
  br label %652

371:                                              ; preds = %347, %342
  %372 = landingpad { ptr, i32 }
          catch ptr null
  %373 = extractvalue { ptr, i32 } %372, 0
  store ptr %373, ptr %4, align 8
  %374 = extractvalue { ptr, i32 } %372, 1
  store i32 %374, ptr %5, align 4
  br label %379

375:                                              ; preds = %354, %352, %349
  %376 = landingpad { ptr, i32 }
          catch ptr null
  %377 = extractvalue { ptr, i32 } %376, 0
  store ptr %377, ptr %4, align 8
  %378 = extractvalue { ptr, i32 } %376, 1
  store i32 %378, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %30) #9
  br label %379

379:                                              ; preds = %375, %371
  %380 = load ptr, ptr %4, align 8
  %381 = call ptr @__cxa_begin_catch(ptr %380) #9
  %382 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %383 unwind label %414

383:                                              ; preds = %379
  %384 = load ptr, ptr %382, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %31) #9
  %385 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %386 unwind label %418

386:                                              ; preds = %383
  %387 = load ptr, ptr %385, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %31, ptr noundef nonnull align 8 dereferenceable(30) %387, i32 noundef 53)
          to label %388 unwind label %418

388:                                              ; preds = %386
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %384, ptr noundef nonnull align 8 dereferenceable(30) %31, ptr noundef @.str.6)
          to label %389 unwind label %418

389:                                              ; preds = %388
  call void @llvm.lifetime.end.p0(i64 32, ptr %31) #9
  invoke void @__cxa_end_catch()
          to label %390 unwind label %104

390:                                              ; preds = %389
  br label %391

391:                                              ; preds = %413, %390
  br label %392

392:                                              ; preds = %391
  br label %393

393:                                              ; preds = %392
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #9
  %394 = call ptr @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %9) #9
  %395 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %32, i32 0, i32 0
  store ptr %394, ptr %395, align 8
  %396 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt23_Rb_tree_const_iteratorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %32) #9
  %397 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef nonnull align 8 dereferenceable(32) %396)
          to label %398 unwind label %424

398:                                              ; preds = %393
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #9
  br label %399

399:                                              ; preds = %398
  %400 = invoke noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef @.str.7)
          to label %401 unwind label %428

401:                                              ; preds = %399
  %402 = invoke noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %400)
          to label %403 unwind label %428

403:                                              ; preds = %401
  br i1 %402, label %477, label %404

404:                                              ; preds = %403
  %405 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %406 unwind label %428

406:                                              ; preds = %404
  %407 = load ptr, ptr %405, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %33) #9
  %408 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %409 unwind label %432

409:                                              ; preds = %406
  %410 = load ptr, ptr %408, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %33, ptr noundef nonnull align 8 dereferenceable(30) %410, i32 noundef 55)
          to label %411 unwind label %432

411:                                              ; preds = %409
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %407, ptr noundef nonnull align 8 dereferenceable(30) %33, ptr noundef @.str.8)
          to label %412 unwind label %432

412:                                              ; preds = %411
  call void @llvm.lifetime.end.p0(i64 32, ptr %33) #9
  br label %477

413:                                              ; preds = %355, %346
  br label %391

414:                                              ; preds = %379
  %415 = landingpad { ptr, i32 }
          cleanup
  %416 = extractvalue { ptr, i32 } %415, 0
  store ptr %416, ptr %4, align 8
  %417 = extractvalue { ptr, i32 } %415, 1
  store i32 %417, ptr %5, align 4
  br label %422

418:                                              ; preds = %388, %386, %383
  %419 = landingpad { ptr, i32 }
          cleanup
  %420 = extractvalue { ptr, i32 } %419, 0
  store ptr %420, ptr %4, align 8
  %421 = extractvalue { ptr, i32 } %419, 1
  store i32 %421, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %31) #9
  br label %422

422:                                              ; preds = %418, %414
  invoke void @__cxa_end_catch()
          to label %423 unwind label %661

423:                                              ; preds = %422
  br label %652

424:                                              ; preds = %393
  %425 = landingpad { ptr, i32 }
          cleanup
  %426 = extractvalue { ptr, i32 } %425, 0
  store ptr %426, ptr %4, align 8
  %427 = extractvalue { ptr, i32 } %425, 1
  store i32 %427, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #9
  br label %652

428:                                              ; preds = %404, %401, %399
  %429 = landingpad { ptr, i32 }
          catch ptr null
  %430 = extractvalue { ptr, i32 } %429, 0
  store ptr %430, ptr %4, align 8
  %431 = extractvalue { ptr, i32 } %429, 1
  store i32 %431, ptr %5, align 4
  br label %436

432:                                              ; preds = %411, %409, %406
  %433 = landingpad { ptr, i32 }
          catch ptr null
  %434 = extractvalue { ptr, i32 } %433, 0
  store ptr %434, ptr %4, align 8
  %435 = extractvalue { ptr, i32 } %433, 1
  store i32 %435, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %33) #9
  br label %436

436:                                              ; preds = %432, %428
  %437 = load ptr, ptr %4, align 8
  %438 = call ptr @__cxa_begin_catch(ptr %437) #9
  %439 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %440 unwind label %478

440:                                              ; preds = %436
  %441 = load ptr, ptr %439, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %34) #9
  %442 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %443 unwind label %482

443:                                              ; preds = %440
  %444 = load ptr, ptr %442, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %34, ptr noundef nonnull align 8 dereferenceable(30) %444, i32 noundef 55)
          to label %445 unwind label %482

445:                                              ; preds = %443
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %441, ptr noundef nonnull align 8 dereferenceable(30) %34, ptr noundef @.str.9)
          to label %446 unwind label %482

446:                                              ; preds = %445
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #9
  invoke void @__cxa_end_catch()
          to label %447 unwind label %104

447:                                              ; preds = %446
  br label %448

448:                                              ; preds = %477, %447
  br label %449

449:                                              ; preds = %448
  br label %450

450:                                              ; preds = %449
  %451 = call noundef ptr @_ZNKSt19__shared_ptr_accessI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %6) #9
  invoke void @_ZN10HtnRuleSet8ClearAllEv(ptr noundef nonnull align 8 dereferenceable(144) %451)
          to label %452 unwind label %104

452:                                              ; preds = %450
  call void @llvm.lifetime.start.p0(i64 16, ptr %35) #9
  %453 = invoke noalias noundef nonnull ptr @_Znwm(i64 noundef 88) #10
          to label %454 unwind label %488

454:                                              ; preds = %452
  %455 = call noundef ptr @_ZNKSt12__shared_ptrI14HtnTermFactoryLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %3) #9
  %456 = call noundef ptr @_ZNKSt12__shared_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %6) #9
  invoke void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEEC2EP14HtnTermFactoryP10HtnRuleSet(ptr noundef nonnull align 8 dereferenceable(88) %453, ptr noundef %455, ptr noundef %456)
          to label %457 unwind label %492

457:                                              ; preds = %454
  invoke void @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEC2IS3_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %35, ptr noundef %453)
          to label %458 unwind label %488

458:                                              ; preds = %457
  %459 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef nonnull align 8 dereferenceable(16) %35) #9
  call void @_ZNSt12__shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %35) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %35) #9
  br label %460

460:                                              ; preds = %458
  %461 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %7) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr %37) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #9
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %36, ptr noundef nonnull align 8 dereferenceable(32) %37, ptr noundef @.str.13)
          to label %462 unwind label %497

462:                                              ; preds = %460
  %463 = invoke noundef zeroext i1 @_ZN6FXPlat8CompilerIN6Prolog14PrologDocumentINS1_11HtnVariableEEEE7CompileENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %461, ptr noundef %36)
          to label %464 unwind label %501

464:                                              ; preds = %462
  %465 = invoke noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %463)
          to label %466 unwind label %501

466:                                              ; preds = %464
  %467 = xor i1 %465, true
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #9
  br i1 %467, label %468, label %546

468:                                              ; preds = %466
  %469 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %470 unwind label %506

470:                                              ; preds = %468
  %471 = load ptr, ptr %469, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %38) #9
  %472 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %473 unwind label %510

473:                                              ; preds = %470
  %474 = load ptr, ptr %472, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %38, ptr noundef nonnull align 8 dereferenceable(30) %474, i32 noundef 62)
          to label %475 unwind label %510

475:                                              ; preds = %473
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %471, ptr noundef nonnull align 8 dereferenceable(30) %38, ptr noundef @.str.14)
          to label %476 unwind label %510

476:                                              ; preds = %475
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #9
  br label %546

477:                                              ; preds = %412, %403
  br label %448

478:                                              ; preds = %436
  %479 = landingpad { ptr, i32 }
          cleanup
  %480 = extractvalue { ptr, i32 } %479, 0
  store ptr %480, ptr %4, align 8
  %481 = extractvalue { ptr, i32 } %479, 1
  store i32 %481, ptr %5, align 4
  br label %486

482:                                              ; preds = %445, %443, %440
  %483 = landingpad { ptr, i32 }
          cleanup
  %484 = extractvalue { ptr, i32 } %483, 0
  store ptr %484, ptr %4, align 8
  %485 = extractvalue { ptr, i32 } %483, 1
  store i32 %485, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #9
  br label %486

486:                                              ; preds = %482, %478
  invoke void @__cxa_end_catch()
          to label %487 unwind label %661

487:                                              ; preds = %486
  br label %652

488:                                              ; preds = %457, %452
  %489 = landingpad { ptr, i32 }
          cleanup
  %490 = extractvalue { ptr, i32 } %489, 0
  store ptr %490, ptr %4, align 8
  %491 = extractvalue { ptr, i32 } %489, 1
  store i32 %491, ptr %5, align 4
  br label %496

492:                                              ; preds = %454
  %493 = landingpad { ptr, i32 }
          cleanup
  %494 = extractvalue { ptr, i32 } %493, 0
  store ptr %494, ptr %4, align 8
  %495 = extractvalue { ptr, i32 } %493, 1
  store i32 %495, ptr %5, align 4
  call void @_ZdlPvm(ptr noundef %453, i64 noundef 88) #11
  br label %496

496:                                              ; preds = %492, %488
  call void @llvm.lifetime.end.p0(i64 16, ptr %35) #9
  br label %652

497:                                              ; preds = %460
  %498 = landingpad { ptr, i32 }
          catch ptr null
  %499 = extractvalue { ptr, i32 } %498, 0
  store ptr %499, ptr %4, align 8
  %500 = extractvalue { ptr, i32 } %498, 1
  store i32 %500, ptr %5, align 4
  br label %505

501:                                              ; preds = %464, %462
  %502 = landingpad { ptr, i32 }
          catch ptr null
  %503 = extractvalue { ptr, i32 } %502, 0
  store ptr %503, ptr %4, align 8
  %504 = extractvalue { ptr, i32 } %502, 1
  store i32 %504, ptr %5, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #9
  br label %505

505:                                              ; preds = %501, %497
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #9
  br label %514

506:                                              ; preds = %468
  %507 = landingpad { ptr, i32 }
          catch ptr null
  %508 = extractvalue { ptr, i32 } %507, 0
  store ptr %508, ptr %4, align 8
  %509 = extractvalue { ptr, i32 } %507, 1
  store i32 %509, ptr %5, align 4
  br label %514

510:                                              ; preds = %475, %473, %470
  %511 = landingpad { ptr, i32 }
          catch ptr null
  %512 = extractvalue { ptr, i32 } %511, 0
  store ptr %512, ptr %4, align 8
  %513 = extractvalue { ptr, i32 } %511, 1
  store i32 %513, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %38) #9
  br label %514

514:                                              ; preds = %510, %506, %505
  %515 = load ptr, ptr %4, align 8
  %516 = call ptr @__cxa_begin_catch(ptr %515) #9
  %517 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %518 unwind label %547

518:                                              ; preds = %514
  %519 = load ptr, ptr %517, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %39) #9
  %520 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %521 unwind label %551

521:                                              ; preds = %518
  %522 = load ptr, ptr %520, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %39, ptr noundef nonnull align 8 dereferenceable(30) %522, i32 noundef 62)
          to label %523 unwind label %551

523:                                              ; preds = %521
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %519, ptr noundef nonnull align 8 dereferenceable(30) %39, ptr noundef @.str.15)
          to label %524 unwind label %551

524:                                              ; preds = %523
  call void @llvm.lifetime.end.p0(i64 32, ptr %39) #9
  invoke void @__cxa_end_catch()
          to label %525 unwind label %104

525:                                              ; preds = %524
  br label %526

526:                                              ; preds = %546, %525
  br label %527

527:                                              ; preds = %526
  br label %528

528:                                              ; preds = %527
  call void @llvm.lifetime.start.p0(i64 48, ptr %40) #9
  %529 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %7) #9
  call void @_ZNSt10shared_ptrI15HtnGoalResolverEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %41, ptr noundef nonnull align 8 dereferenceable(16) %8) #9
  invoke void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEE19FindRuleLogicErrorsB5cxx11ESt10shared_ptrI15HtnGoalResolverE(ptr dead_on_unwind writable sret(%"class.std::set") align 8 %40, ptr noundef nonnull align 8 dereferenceable(88) %529, ptr noundef %41)
          to label %530 unwind label %557

530:                                              ; preds = %528
  %531 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EEaSEOS9_(ptr noundef nonnull align 8 dereferenceable(48) %9, ptr noundef nonnull align 8 dereferenceable(48) %40) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %40) #9
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %41) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr %40) #9
  br label %532

532:                                              ; preds = %530
  %533 = call noundef i64 @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %9) #9
  %534 = icmp eq i64 %533, 1
  %535 = invoke noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %534)
          to label %536 unwind label %561

536:                                              ; preds = %532
  br i1 %535, label %603, label %537

537:                                              ; preds = %536
  %538 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %539 unwind label %561

539:                                              ; preds = %537
  %540 = load ptr, ptr %538, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %42) #9
  %541 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %542 unwind label %565

542:                                              ; preds = %539
  %543 = load ptr, ptr %541, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %42, ptr noundef nonnull align 8 dereferenceable(30) %543, i32 noundef 64)
          to label %544 unwind label %565

544:                                              ; preds = %542
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %540, ptr noundef nonnull align 8 dereferenceable(30) %42, ptr noundef @.str.5)
          to label %545 unwind label %565

545:                                              ; preds = %544
  call void @llvm.lifetime.end.p0(i64 32, ptr %42) #9
  br label %603

546:                                              ; preds = %476, %466
  br label %526

547:                                              ; preds = %514
  %548 = landingpad { ptr, i32 }
          cleanup
  %549 = extractvalue { ptr, i32 } %548, 0
  store ptr %549, ptr %4, align 8
  %550 = extractvalue { ptr, i32 } %548, 1
  store i32 %550, ptr %5, align 4
  br label %555

551:                                              ; preds = %523, %521, %518
  %552 = landingpad { ptr, i32 }
          cleanup
  %553 = extractvalue { ptr, i32 } %552, 0
  store ptr %553, ptr %4, align 8
  %554 = extractvalue { ptr, i32 } %552, 1
  store i32 %554, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %39) #9
  br label %555

555:                                              ; preds = %551, %547
  invoke void @__cxa_end_catch()
          to label %556 unwind label %661

556:                                              ; preds = %555
  br label %652

557:                                              ; preds = %528
  %558 = landingpad { ptr, i32 }
          cleanup
  %559 = extractvalue { ptr, i32 } %558, 0
  store ptr %559, ptr %4, align 8
  %560 = extractvalue { ptr, i32 } %558, 1
  store i32 %560, ptr %5, align 4
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %41) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr %40) #9
  br label %652

561:                                              ; preds = %537, %532
  %562 = landingpad { ptr, i32 }
          catch ptr null
  %563 = extractvalue { ptr, i32 } %562, 0
  store ptr %563, ptr %4, align 8
  %564 = extractvalue { ptr, i32 } %562, 1
  store i32 %564, ptr %5, align 4
  br label %569

565:                                              ; preds = %544, %542, %539
  %566 = landingpad { ptr, i32 }
          catch ptr null
  %567 = extractvalue { ptr, i32 } %566, 0
  store ptr %567, ptr %4, align 8
  %568 = extractvalue { ptr, i32 } %566, 1
  store i32 %568, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %42) #9
  br label %569

569:                                              ; preds = %565, %561
  %570 = load ptr, ptr %4, align 8
  %571 = call ptr @__cxa_begin_catch(ptr %570) #9
  %572 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %573 unwind label %604

573:                                              ; preds = %569
  %574 = load ptr, ptr %572, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %43) #9
  %575 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %576 unwind label %608

576:                                              ; preds = %573
  %577 = load ptr, ptr %575, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %43, ptr noundef nonnull align 8 dereferenceable(30) %577, i32 noundef 64)
          to label %578 unwind label %608

578:                                              ; preds = %576
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %574, ptr noundef nonnull align 8 dereferenceable(30) %43, ptr noundef @.str.6)
          to label %579 unwind label %608

579:                                              ; preds = %578
  call void @llvm.lifetime.end.p0(i64 32, ptr %43) #9
  invoke void @__cxa_end_catch()
          to label %580 unwind label %104

580:                                              ; preds = %579
  br label %581

581:                                              ; preds = %603, %580
  br label %582

582:                                              ; preds = %581
  br label %583

583:                                              ; preds = %582
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #9
  %584 = call ptr @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %9) #9
  %585 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %44, i32 0, i32 0
  store ptr %584, ptr %585, align 8
  %586 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt23_Rb_tree_const_iteratorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %44) #9
  %587 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef nonnull align 8 dereferenceable(32) %586)
          to label %588 unwind label %614

588:                                              ; preds = %583
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #9
  br label %589

589:                                              ; preds = %588
  %590 = invoke noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef @.str.7)
          to label %591 unwind label %618

591:                                              ; preds = %589
  %592 = invoke noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %590)
          to label %593 unwind label %618

593:                                              ; preds = %591
  br i1 %592, label %641, label %594

594:                                              ; preds = %593
  %595 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %596 unwind label %618

596:                                              ; preds = %594
  %597 = load ptr, ptr %595, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %45) #9
  %598 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %599 unwind label %622

599:                                              ; preds = %596
  %600 = load ptr, ptr %598, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %45, ptr noundef nonnull align 8 dereferenceable(30) %600, i32 noundef 66)
          to label %601 unwind label %622

601:                                              ; preds = %599
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %597, ptr noundef nonnull align 8 dereferenceable(30) %45, ptr noundef @.str.8)
          to label %602 unwind label %622

602:                                              ; preds = %601
  call void @llvm.lifetime.end.p0(i64 32, ptr %45) #9
  br label %641

603:                                              ; preds = %545, %536
  br label %581

604:                                              ; preds = %569
  %605 = landingpad { ptr, i32 }
          cleanup
  %606 = extractvalue { ptr, i32 } %605, 0
  store ptr %606, ptr %4, align 8
  %607 = extractvalue { ptr, i32 } %605, 1
  store i32 %607, ptr %5, align 4
  br label %612

608:                                              ; preds = %578, %576, %573
  %609 = landingpad { ptr, i32 }
          cleanup
  %610 = extractvalue { ptr, i32 } %609, 0
  store ptr %610, ptr %4, align 8
  %611 = extractvalue { ptr, i32 } %609, 1
  store i32 %611, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %43) #9
  br label %612

612:                                              ; preds = %608, %604
  invoke void @__cxa_end_catch()
          to label %613 unwind label %661

613:                                              ; preds = %612
  br label %652

614:                                              ; preds = %583
  %615 = landingpad { ptr, i32 }
          cleanup
  %616 = extractvalue { ptr, i32 } %615, 0
  store ptr %616, ptr %4, align 8
  %617 = extractvalue { ptr, i32 } %615, 1
  store i32 %617, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #9
  br label %652

618:                                              ; preds = %594, %591, %589
  %619 = landingpad { ptr, i32 }
          catch ptr null
  %620 = extractvalue { ptr, i32 } %619, 0
  store ptr %620, ptr %4, align 8
  %621 = extractvalue { ptr, i32 } %619, 1
  store i32 %621, ptr %5, align 4
  br label %626

622:                                              ; preds = %601, %599, %596
  %623 = landingpad { ptr, i32 }
          catch ptr null
  %624 = extractvalue { ptr, i32 } %623, 0
  store ptr %624, ptr %4, align 8
  %625 = extractvalue { ptr, i32 } %623, 1
  store i32 %625, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %45) #9
  br label %626

626:                                              ; preds = %622, %618
  %627 = load ptr, ptr %4, align 8
  %628 = call ptr @__cxa_begin_catch(ptr %627) #9
  %629 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %630 unwind label %642

630:                                              ; preds = %626
  %631 = load ptr, ptr %629, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %46) #9
  %632 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %633 unwind label %646

633:                                              ; preds = %630
  %634 = load ptr, ptr %632, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %46, ptr noundef nonnull align 8 dereferenceable(30) %634, i32 noundef 66)
          to label %635 unwind label %646

635:                                              ; preds = %633
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %631, ptr noundef nonnull align 8 dereferenceable(30) %46, ptr noundef @.str.9)
          to label %636 unwind label %646

636:                                              ; preds = %635
  call void @llvm.lifetime.end.p0(i64 32, ptr %46) #9
  invoke void @__cxa_end_catch()
          to label %637 unwind label %104

637:                                              ; preds = %636
  br label %638

638:                                              ; preds = %641, %637
  br label %639

639:                                              ; preds = %638
  br label %640

640:                                              ; preds = %639
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %10) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %9) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr %9) #9
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #9
  call void @_ZNSt12__shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %7) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %7) #9
  call void @_ZNSt12__shared_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %6) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %6) #9
  call void @_ZNSt12__shared_ptrI14HtnTermFactoryLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %3) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %3) #9
  ret void

641:                                              ; preds = %602, %593
  br label %638

642:                                              ; preds = %626
  %643 = landingpad { ptr, i32 }
          cleanup
  %644 = extractvalue { ptr, i32 } %643, 0
  store ptr %644, ptr %4, align 8
  %645 = extractvalue { ptr, i32 } %643, 1
  store i32 %645, ptr %5, align 4
  br label %650

646:                                              ; preds = %635, %633, %630
  %647 = landingpad { ptr, i32 }
          cleanup
  %648 = extractvalue { ptr, i32 } %647, 0
  store ptr %648, ptr %4, align 8
  %649 = extractvalue { ptr, i32 } %647, 1
  store i32 %649, ptr %5, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %46) #9
  br label %650

650:                                              ; preds = %646, %642
  invoke void @__cxa_end_catch()
          to label %651 unwind label %661

651:                                              ; preds = %650
  br label %652

652:                                              ; preds = %651, %614, %613, %557, %556, %496, %487, %424, %423, %367, %366, %306, %297, %234, %233, %177, %176, %116, %104
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %10) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %9) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr %9) #9
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8) #9
  br label %653

653:                                              ; preds = %652, %100, %96
  call void @llvm.lifetime.end.p0(i64 16, ptr %8) #9
  call void @_ZNSt12__shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %7) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %7) #9
  call void @_ZNSt12__shared_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %6) #9
  br label %654

654:                                              ; preds = %653, %92, %88
  call void @llvm.lifetime.end.p0(i64 16, ptr %6) #9
  call void @_ZNSt12__shared_ptrI14HtnTermFactoryLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %3) #9
  br label %655

655:                                              ; preds = %654, %84
  call void @llvm.lifetime.end.p0(i64 16, ptr %3) #9
  br label %656

656:                                              ; preds = %655
  %657 = load ptr, ptr %4, align 8
  %658 = load i32, ptr %5, align 4
  %659 = insertvalue { ptr, i32 } poison, ptr %657, 0
  %660 = insertvalue { ptr, i32 } %659, i32 %658, 1
  resume { ptr, i32 } %660

661:                                              ; preds = %650, %612, %555, %486, %422, %365, %296, %232, %175
  %662 = landingpad { ptr, i32 }
          catch ptr null
  %663 = extractvalue { ptr, i32 } %662, 0
  call void @__clang_call_terminate(ptr %663) #12
  unreachable
}

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

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

declare void @_ZN14HtnTermFactoryC1Ev(ptr noundef nonnull align 8 dereferenceable(33088)) unnamed_addr #3

declare i32 @__gxx_personality_v0(...)

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN10HtnRuleSetC2Ev(ptr noundef nonnull align 8 dereferenceable(144)) unnamed_addr #0 align 2

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

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

declare void @_ZN15HtnGoalResolverC1Ev(ptr noundef nonnull align 8 dereferenceable(64)) unnamed_addr #3

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

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

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

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

declare void @_ZN10HtnRuleSet8ClearAllEv(ptr noundef nonnull align 8 dereferenceable(144)) #3

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext) #5

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

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv() #3

declare void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21), ptr noundef nonnull align 8 dereferenceable(30), ptr noundef) #3

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv() #3

declare void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30), ptr noundef nonnull align 8 dereferenceable(30), i32 noundef) unnamed_addr #3

declare ptr @__cxa_begin_catch(ptr)

declare void @__cxa_end_catch()

; Function Attrs: noinline noreturn nounwind uwtable
declare hidden void @__clang_call_terminate(ptr noundef) #7

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEE19FindRuleLogicErrorsB5cxx11ESt10shared_ptrI15HtnGoalResolverE(ptr dead_on_unwind noalias writable sret(%"class.std::set") align 8, ptr noundef nonnull align 8 dereferenceable(88), ptr noundef) #0 align 2

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) #0 align 2

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

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

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

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

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


; 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::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::shared_ptr.29" = type { %"class.std::__shared_ptr.30" }
%"class.std::__shared_ptr.30" = type { ptr, %"class.std::__shared_count" }
%"class.std::shared_ptr.50" = type { %"class.std::__shared_ptr.51" }
%"class.std::__shared_ptr.51" = type { ptr, %"class.std::__shared_count" }
%"class.std::shared_ptr.53" = type { %"class.std::__shared_ptr.54" }
%"class.std::__shared_ptr.54" = type { ptr, %"class.std::__shared_count" }
%"class.std::set" = type { %"class.std::_Rb_tree.64" }
%"class.std::_Rb_tree.64" = type { %"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>, std::_Identity<std::__cxx11::basic_string<char>>, std::less<std::__cxx11::basic_string<char>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char>, std::_Identity<std::__cxx11::basic_string<char>>, std::less<std::__cxx11::basic_string<char>>>::_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::__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.UnitTest::TestDetails" = type <{ ptr, ptr, ptr, i32, i8, i8, [2 x i8] }>
%"struct.std::_Rb_tree_const_iterator" = type { ptr }

@.str = external hidden unnamed_addr constant [22 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [87 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [48 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [64 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [94 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [72 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [102 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN24SuitePrologCompilerTests38TestPrologCompilerMissingRuleDetection7RunImplEv(ptr nocapture noundef nonnull readnone align 8 dereferenceable(49) %0) unnamed_addr #0 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca %"class.std::shared_ptr", align 8
  %3 = alloca %"class.std::shared_ptr.29", align 8
  %4 = alloca %"class.std::shared_ptr.50", align 8
  %5 = alloca %"class.std::shared_ptr.53", align 8
  %6 = alloca %"class.std::set", align 8
  %7 = alloca %"class.std::__cxx11::basic_string", align 8
  %8 = alloca %"class.std::shared_ptr.50", align 8
  %9 = alloca %"class.std::__cxx11::basic_string", align 8
  %10 = alloca %"class.std::__cxx11::basic_string", align 8
  %11 = alloca %"class.UnitTest::TestDetails", align 8
  %12 = alloca %"class.UnitTest::TestDetails", align 8
  %13 = alloca %"class.std::set", align 8
  %14 = alloca %"class.std::shared_ptr.53", align 8
  %15 = alloca %"class.UnitTest::TestDetails", align 8
  %16 = alloca %"class.UnitTest::TestDetails", align 8
  %17 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %18 = alloca %"class.UnitTest::TestDetails", align 8
  %19 = alloca %"class.UnitTest::TestDetails", align 8
  %20 = alloca %"class.std::shared_ptr.50", align 8
  %21 = alloca %"class.std::__cxx11::basic_string", align 8
  %22 = alloca %"class.std::__cxx11::basic_string", align 8
  %23 = alloca %"class.UnitTest::TestDetails", align 8
  %24 = alloca %"class.UnitTest::TestDetails", align 8
  %25 = alloca %"class.std::set", align 8
  %26 = alloca %"class.std::shared_ptr.53", align 8
  %27 = alloca %"class.UnitTest::TestDetails", align 8
  %28 = alloca %"class.UnitTest::TestDetails", align 8
  %29 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %30 = alloca %"class.UnitTest::TestDetails", align 8
  %31 = alloca %"class.UnitTest::TestDetails", align 8
  %32 = alloca %"class.std::shared_ptr.50", align 8
  %33 = alloca %"class.std::__cxx11::basic_string", align 8
  %34 = alloca %"class.std::__cxx11::basic_string", align 8
  %35 = alloca %"class.UnitTest::TestDetails", align 8
  %36 = alloca %"class.UnitTest::TestDetails", align 8
  %37 = alloca %"class.std::set", align 8
  %38 = alloca %"class.std::shared_ptr.53", align 8
  %39 = alloca %"class.UnitTest::TestDetails", align 8
  %40 = alloca %"class.UnitTest::TestDetails", align 8
  %41 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %42 = alloca %"class.UnitTest::TestDetails", align 8
  %43 = alloca %"class.UnitTest::TestDetails", align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %2) #9
  %44 = tail call noalias noundef nonnull dereferenceable(33088) ptr @_Znwm(i64 noundef 33088) #10
  invoke void @_ZN14HtnTermFactoryC1Ev(ptr noundef nonnull align 8 dereferenceable(33088) %44)
          to label %45 unwind label %76

45:                                               ; preds = %1
  call void @_ZNSt10shared_ptrI14HtnTermFactoryEC2IS0_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %2, ptr noundef nonnull %44)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %3) #9
  %46 = invoke noalias noundef nonnull dereferenceable(144) ptr @_Znwm(i64 noundef 144) #10
          to label %47 unwind label %78

47:                                               ; preds = %45
  invoke void @_ZN10HtnRuleSetC2Ev(ptr noundef nonnull align 8 dereferenceable(144) %46)
          to label %48 unwind label %80

48:                                               ; preds = %47
  invoke void @_ZNSt10shared_ptrI10HtnRuleSetEC2IS0_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %3, ptr noundef nonnull %46)
          to label %49 unwind label %78

49:                                               ; preds = %48
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #9
  call void @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %4) #9
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %5) #9
  %50 = invoke noalias noundef nonnull dereferenceable(64) ptr @_Znwm(i64 noundef 64) #10
          to label %51 unwind label %82

51:                                               ; preds = %49
  invoke void @_ZN15HtnGoalResolverC1Ev(ptr noundef nonnull align 8 dereferenceable(64) %50)
          to label %52 unwind label %84

52:                                               ; preds = %51
  invoke void @_ZNSt10shared_ptrI15HtnGoalResolverEC2IS0_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %5, ptr noundef nonnull %50)
          to label %53 unwind label %82

53:                                               ; preds = %52
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %6) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %6) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %7) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #9
  %54 = call noundef ptr @_ZNKSt19__shared_ptr_accessI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %3) #9
  invoke void @_ZN10HtnRuleSet8ClearAllEv(ptr noundef nonnull align 8 dereferenceable(144) %54)
          to label %55 unwind label %86

55:                                               ; preds = %53
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8) #9
  %56 = invoke noalias noundef nonnull dereferenceable(88) ptr @_Znwm(i64 noundef 88) #10
          to label %57 unwind label %88

57:                                               ; preds = %55
  %58 = call noundef ptr @_ZNKSt12__shared_ptrI14HtnTermFactoryLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %2) #9
  %59 = call noundef ptr @_ZNKSt12__shared_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %3) #9
  call void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEEC2EP14HtnTermFactoryP10HtnRuleSet(ptr noundef nonnull align 8 dereferenceable(88) %56, ptr noundef %58, ptr noundef %59)
  invoke void @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEC2IS3_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef nonnull %56)
          to label %60 unwind label %88

60:                                               ; preds = %57
  %61 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %4, ptr noundef nonnull align 8 dereferenceable(16) %8) #9
  call void @_ZNSt12__shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #9
  %62 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %4) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %10) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #9
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %9, ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef nonnull @.str)
          to label %63 unwind label %90

63:                                               ; preds = %60
  %64 = invoke noundef zeroext i1 @_ZN6FXPlat8CompilerIN6Prolog14PrologDocumentINS1_11HtnVariableEEEE7CompileENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %62, ptr noundef nonnull %9)
          to label %65 unwind label %92

65:                                               ; preds = %63
  %66 = call noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %64)
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %10) #9
  br i1 %66, label %109, label %67

67:                                               ; preds = %65
  %68 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %69 unwind label %95

69:                                               ; preds = %67
  %70 = load ptr, ptr %68, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %11) #9
  %71 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %72 unwind label %97

72:                                               ; preds = %69
  %73 = load ptr, ptr %71, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %11, ptr noundef nonnull align 8 dereferenceable(30) %73, i32 noundef 40)
          to label %74 unwind label %97

74:                                               ; preds = %72
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %70, ptr noundef nonnull align 8 dereferenceable(30) %11, ptr noundef nonnull @.str.3)
          to label %75 unwind label %97

75:                                               ; preds = %74
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #9
  br label %109

76:                                               ; preds = %1
  %77 = landingpad { ptr, i32 }
          cleanup
  tail call void @_ZdlPvm(ptr noundef nonnull %44, i64 noundef 33088) #11
  br label %438

78:                                               ; preds = %48, %45
  %79 = landingpad { ptr, i32 }
          cleanup
  br label %437

80:                                               ; preds = %47
  %81 = landingpad { ptr, i32 }
          cleanup
  call void @_ZdlPvm(ptr noundef nonnull %46, i64 noundef 144) #11
  br label %437

82:                                               ; preds = %52, %49
  %83 = landingpad { ptr, i32 }
          cleanup
  br label %436

84:                                               ; preds = %51
  %85 = landingpad { ptr, i32 }
          cleanup
  call void @_ZdlPvm(ptr noundef nonnull %50, i64 noundef 64) #11
  br label %436

86:                                               ; preds = %428, %391, %354, %306, %305, %268, %231, %183, %182, %145, %108, %53
  %87 = landingpad { ptr, i32 }
          cleanup
  br label %435

88:                                               ; preds = %57, %55
  %89 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #9
  br label %435

90:                                               ; preds = %60
  %91 = landingpad { ptr, i32 }
          catch ptr null
  br label %94

92:                                               ; preds = %63
  %93 = landingpad { ptr, i32 }
          catch ptr null
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #9
  br label %94

94:                                               ; preds = %92, %90
  %.pn = phi { ptr, i32 } [ %93, %92 ], [ %91, %90 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %10) #9
  br label %99

95:                                               ; preds = %67
  %96 = landingpad { ptr, i32 }
          catch ptr null
  br label %99

97:                                               ; preds = %74, %72, %69
  %98 = landingpad { ptr, i32 }
          catch ptr null
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #9
  br label %99

99:                                               ; preds = %97, %95, %94
  %.pn24 = phi { ptr, i32 } [ %98, %97 ], [ %96, %95 ], [ %.pn, %94 ]
  %.112 = extractvalue { ptr, i32 } %.pn24, 0
  %100 = call ptr @__cxa_begin_catch(ptr %.112) #9
  %101 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %102 unwind label %125

102:                                              ; preds = %99
  %103 = load ptr, ptr %101, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #9
  %104 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %105 unwind label %127

105:                                              ; preds = %102
  %106 = load ptr, ptr %104, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %12, ptr noundef nonnull align 8 dereferenceable(30) %106, i32 noundef 40)
          to label %107 unwind label %127

107:                                              ; preds = %105
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %103, ptr noundef nonnull align 8 dereferenceable(30) %12, ptr noundef nonnull @.str.4)
          to label %108 unwind label %127

108:                                              ; preds = %107
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #9
  invoke void @__cxa_end_catch()
          to label %109 unwind label %86

109:                                              ; preds = %65, %75, %108
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %13) #9
  %110 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %4) #9
  call void @_ZNSt10shared_ptrI15HtnGoalResolverEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %14, ptr noundef nonnull align 8 dereferenceable(16) %5) #9
  invoke void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEE19FindRuleLogicErrorsB5cxx11ESt10shared_ptrI15HtnGoalResolverE(ptr dead_on_unwind nonnull writable sret(%"class.std::set") align 8 %13, ptr noundef nonnull align 8 dereferenceable(88) %110, ptr noundef nonnull %14)
          to label %111 unwind label %130

111:                                              ; preds = %109
  %112 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EEaSEOS9_(ptr noundef nonnull align 8 dereferenceable(48) %6, ptr noundef nonnull align 8 dereferenceable(48) %13) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %13) #9
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %14) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %13) #9
  %113 = call noundef i64 @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %6) #9
  %114 = icmp eq i64 %113, 1
  %115 = call noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %114)
  br i1 %115, label %146, label %116

116:                                              ; preds = %111
  %117 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %118 unwind label %132

118:                                              ; preds = %116
  %119 = load ptr, ptr %117, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %15) #9
  %120 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %121 unwind label %134

121:                                              ; preds = %118
  %122 = load ptr, ptr %120, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %15, ptr noundef nonnull align 8 dereferenceable(30) %122, i32 noundef 42)
          to label %123 unwind label %134

123:                                              ; preds = %121
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %119, ptr noundef nonnull align 8 dereferenceable(30) %15, ptr noundef nonnull @.str.5)
          to label %124 unwind label %134

124:                                              ; preds = %123
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #9
  br label %146

125:                                              ; preds = %99
  %126 = landingpad { ptr, i32 }
          cleanup
  br label %129

127:                                              ; preds = %107, %105, %102
  %128 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #9
  br label %129

129:                                              ; preds = %127, %125
  %.pn25 = phi { ptr, i32 } [ %128, %127 ], [ %126, %125 ]
  invoke void @__cxa_end_catch()
          to label %435 unwind label %439

130:                                              ; preds = %109
  %131 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %14) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %13) #9
  br label %435

132:                                              ; preds = %116
  %133 = landingpad { ptr, i32 }
          catch ptr null
  br label %136

134:                                              ; preds = %123, %121, %118
  %135 = landingpad { ptr, i32 }
          catch ptr null
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #9
  br label %136

136:                                              ; preds = %134, %132
  %.pn27 = phi { ptr, i32 } [ %135, %134 ], [ %133, %132 ]
  %.314 = extractvalue { ptr, i32 } %.pn27, 0
  %137 = call ptr @__cxa_begin_catch(ptr %.314) #9
  %138 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %139 unwind label %162

139:                                              ; preds = %136
  %140 = load ptr, ptr %138, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %16) #9
  %141 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %142 unwind label %164

142:                                              ; preds = %139
  %143 = load ptr, ptr %141, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %16, ptr noundef nonnull align 8 dereferenceable(30) %143, i32 noundef 42)
          to label %144 unwind label %164

144:                                              ; preds = %142
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %140, ptr noundef nonnull align 8 dereferenceable(30) %16, ptr noundef nonnull @.str.6)
          to label %145 unwind label %164

145:                                              ; preds = %144
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #9
  invoke void @__cxa_end_catch()
          to label %146 unwind label %86

146:                                              ; preds = %111, %124, %145
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #9
  %147 = call ptr @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %6) #9
  store ptr %147, ptr %17, align 8
  %148 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt23_Rb_tree_const_iteratorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %17) #9
  %149 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull align 8 dereferenceable(32) %148)
          to label %150 unwind label %167

150:                                              ; preds = %146
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #9
  %151 = call noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull @.str.7)
  %152 = call noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %151)
  br i1 %152, label %183, label %153

153:                                              ; preds = %150
  %154 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %155 unwind label %169

155:                                              ; preds = %153
  %156 = load ptr, ptr %154, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %18) #9
  %157 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %158 unwind label %171

158:                                              ; preds = %155
  %159 = load ptr, ptr %157, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %18, ptr noundef nonnull align 8 dereferenceable(30) %159, i32 noundef 44)
          to label %160 unwind label %171

160:                                              ; preds = %158
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %156, ptr noundef nonnull align 8 dereferenceable(30) %18, ptr noundef nonnull @.str.8)
          to label %161 unwind label %171

161:                                              ; preds = %160
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %18) #9
  br label %183

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

164:                                              ; preds = %144, %142, %139
  %165 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #9
  br label %166

166:                                              ; preds = %164, %162
  %.pn28 = phi { ptr, i32 } [ %165, %164 ], [ %163, %162 ]
  invoke void @__cxa_end_catch()
          to label %435 unwind label %439

167:                                              ; preds = %146
  %168 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #9
  br label %435

169:                                              ; preds = %153
  %170 = landingpad { ptr, i32 }
          catch ptr null
  br label %173

171:                                              ; preds = %160, %158, %155
  %172 = landingpad { ptr, i32 }
          catch ptr null
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %18) #9
  br label %173

173:                                              ; preds = %171, %169
  %.pn30 = phi { ptr, i32 } [ %172, %171 ], [ %170, %169 ]
  %.516 = extractvalue { ptr, i32 } %.pn30, 0
  %174 = call ptr @__cxa_begin_catch(ptr %.516) #9
  %175 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %176 unwind label %206

176:                                              ; preds = %173
  %177 = load ptr, ptr %175, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %19) #9
  %178 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %179 unwind label %208

179:                                              ; preds = %176
  %180 = load ptr, ptr %178, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %19, ptr noundef nonnull align 8 dereferenceable(30) %180, i32 noundef 44)
          to label %181 unwind label %208

181:                                              ; preds = %179
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %177, ptr noundef nonnull align 8 dereferenceable(30) %19, ptr noundef nonnull @.str.9)
          to label %182 unwind label %208

182:                                              ; preds = %181
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %19) #9
  invoke void @__cxa_end_catch()
          to label %183 unwind label %86

183:                                              ; preds = %150, %161, %182
  %184 = call noundef ptr @_ZNKSt19__shared_ptr_accessI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %3) #9
  invoke void @_ZN10HtnRuleSet8ClearAllEv(ptr noundef nonnull align 8 dereferenceable(144) %184)
          to label %185 unwind label %86

185:                                              ; preds = %183
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %20) #9
  %186 = invoke noalias noundef nonnull dereferenceable(88) ptr @_Znwm(i64 noundef 88) #10
          to label %187 unwind label %211

187:                                              ; preds = %185
  %188 = call noundef ptr @_ZNKSt12__shared_ptrI14HtnTermFactoryLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %2) #9
  %189 = call noundef ptr @_ZNKSt12__shared_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %3) #9
  call void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEEC2EP14HtnTermFactoryP10HtnRuleSet(ptr noundef nonnull align 8 dereferenceable(88) %186, ptr noundef %188, ptr noundef %189)
  invoke void @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEC2IS3_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %20, ptr noundef nonnull %186)
          to label %190 unwind label %211

190:                                              ; preds = %187
  %191 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %4, ptr noundef nonnull align 8 dereferenceable(16) %20) #9
  call void @_ZNSt12__shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %20) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #9
  %192 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %4) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %22) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #9
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %21, ptr noundef nonnull align 8 dereferenceable(32) %22, ptr noundef nonnull @.str.10)
          to label %193 unwind label %213

193:                                              ; preds = %190
  %194 = invoke noundef zeroext i1 @_ZN6FXPlat8CompilerIN6Prolog14PrologDocumentINS1_11HtnVariableEEEE7CompileENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %192, ptr noundef nonnull %21)
          to label %195 unwind label %215

195:                                              ; preds = %193
  %196 = call noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %194)
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #9
  br i1 %196, label %232, label %197

197:                                              ; preds = %195
  %198 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %199 unwind label %218

199:                                              ; preds = %197
  %200 = load ptr, ptr %198, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %23) #9
  %201 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %202 unwind label %220

202:                                              ; preds = %199
  %203 = load ptr, ptr %201, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %23, ptr noundef nonnull align 8 dereferenceable(30) %203, i32 noundef 51)
          to label %204 unwind label %220

204:                                              ; preds = %202
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %200, ptr noundef nonnull align 8 dereferenceable(30) %23, ptr noundef nonnull @.str.11)
          to label %205 unwind label %220

205:                                              ; preds = %204
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #9
  br label %232

206:                                              ; preds = %173
  %207 = landingpad { ptr, i32 }
          cleanup
  br label %210

208:                                              ; preds = %181, %179, %176
  %209 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %19) #9
  br label %210

210:                                              ; preds = %208, %206
  %.pn31 = phi { ptr, i32 } [ %209, %208 ], [ %207, %206 ]
  invoke void @__cxa_end_catch()
          to label %435 unwind label %439

211:                                              ; preds = %187, %185
  %212 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #9
  br label %435

213:                                              ; preds = %190
  %214 = landingpad { ptr, i32 }
          catch ptr null
  br label %217

215:                                              ; preds = %193
  %216 = landingpad { ptr, i32 }
          catch ptr null
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %21) #9
  br label %217

217:                                              ; preds = %215, %213
  %.pn33 = phi { ptr, i32 } [ %216, %215 ], [ %214, %213 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %22) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %22) #9
  br label %222

218:                                              ; preds = %197
  %219 = landingpad { ptr, i32 }
          catch ptr null
  br label %222

220:                                              ; preds = %204, %202, %199
  %221 = landingpad { ptr, i32 }
          catch ptr null
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #9
  br label %222

222:                                              ; preds = %220, %218, %217
  %.pn34 = phi { ptr, i32 } [ %221, %220 ], [ %219, %218 ], [ %.pn33, %217 ]
  %.819 = extractvalue { ptr, i32 } %.pn34, 0
  %223 = call ptr @__cxa_begin_catch(ptr %.819) #9
  %224 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %225 unwind label %248

225:                                              ; preds = %222
  %226 = load ptr, ptr %224, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %24) #9
  %227 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %228 unwind label %250

228:                                              ; preds = %225
  %229 = load ptr, ptr %227, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %24, ptr noundef nonnull align 8 dereferenceable(30) %229, i32 noundef 51)
          to label %230 unwind label %250

230:                                              ; preds = %228
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %226, ptr noundef nonnull align 8 dereferenceable(30) %24, ptr noundef nonnull @.str.12)
          to label %231 unwind label %250

231:                                              ; preds = %230
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %24) #9
  invoke void @__cxa_end_catch()
          to label %232 unwind label %86

232:                                              ; preds = %195, %205, %231
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %25) #9
  %233 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %4) #9
  call void @_ZNSt10shared_ptrI15HtnGoalResolverEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %26, ptr noundef nonnull align 8 dereferenceable(16) %5) #9
  invoke void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEE19FindRuleLogicErrorsB5cxx11ESt10shared_ptrI15HtnGoalResolverE(ptr dead_on_unwind nonnull writable sret(%"class.std::set") align 8 %25, ptr noundef nonnull align 8 dereferenceable(88) %233, ptr noundef nonnull %26)
          to label %234 unwind label %253

234:                                              ; preds = %232
  %235 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EEaSEOS9_(ptr noundef nonnull align 8 dereferenceable(48) %6, ptr noundef nonnull align 8 dereferenceable(48) %25) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %25) #9
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %26) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %25) #9
  %236 = call noundef i64 @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %6) #9
  %237 = icmp eq i64 %236, 1
  %238 = call noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %237)
  br i1 %238, label %269, label %239

239:                                              ; preds = %234
  %240 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %241 unwind label %255

241:                                              ; preds = %239
  %242 = load ptr, ptr %240, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %27) #9
  %243 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %244 unwind label %257

244:                                              ; preds = %241
  %245 = load ptr, ptr %243, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %27, ptr noundef nonnull align 8 dereferenceable(30) %245, i32 noundef 53)
          to label %246 unwind label %257

246:                                              ; preds = %244
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %242, ptr noundef nonnull align 8 dereferenceable(30) %27, ptr noundef nonnull @.str.5)
          to label %247 unwind label %257

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

248:                                              ; preds = %222
  %249 = landingpad { ptr, i32 }
          cleanup
  br label %252

250:                                              ; preds = %230, %228, %225
  %251 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %24) #9
  br label %252

252:                                              ; preds = %250, %248
  %.pn35 = phi { ptr, i32 } [ %251, %250 ], [ %249, %248 ]
  invoke void @__cxa_end_catch()
          to label %435 unwind label %439

253:                                              ; preds = %232
  %254 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %26) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %25) #9
  br label %435

255:                                              ; preds = %239
  %256 = landingpad { ptr, i32 }
          catch ptr null
  br label %259

257:                                              ; preds = %246, %244, %241
  %258 = landingpad { ptr, i32 }
          catch ptr null
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %27) #9
  br label %259

259:                                              ; preds = %257, %255
  %.pn37 = phi { ptr, i32 } [ %258, %257 ], [ %256, %255 ]
  %.1021 = extractvalue { ptr, i32 } %.pn37, 0
  %260 = call ptr @__cxa_begin_catch(ptr %.1021) #9
  %261 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %262 unwind label %285

262:                                              ; preds = %259
  %263 = load ptr, ptr %261, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %28) #9
  %264 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %265 unwind label %287

265:                                              ; preds = %262
  %266 = load ptr, ptr %264, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %28, ptr noundef nonnull align 8 dereferenceable(30) %266, i32 noundef 53)
          to label %267 unwind label %287

267:                                              ; preds = %265
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %263, ptr noundef nonnull align 8 dereferenceable(30) %28, ptr noundef nonnull @.str.6)
          to label %268 unwind label %287

268:                                              ; preds = %267
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %28) #9
  invoke void @__cxa_end_catch()
          to label %269 unwind label %86

269:                                              ; preds = %234, %247, %268
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %29) #9
  %270 = call ptr @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %6) #9
  store ptr %270, ptr %29, align 8
  %271 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt23_Rb_tree_const_iteratorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %29) #9
  %272 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull align 8 dereferenceable(32) %271)
          to label %273 unwind label %290

273:                                              ; preds = %269
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #9
  %274 = call noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull @.str.7)
  %275 = call noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %274)
  br i1 %275, label %306, label %276

276:                                              ; preds = %273
  %277 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %278 unwind label %292

278:                                              ; preds = %276
  %279 = load ptr, ptr %277, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %30) #9
  %280 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %281 unwind label %294

281:                                              ; preds = %278
  %282 = load ptr, ptr %280, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %30, ptr noundef nonnull align 8 dereferenceable(30) %282, i32 noundef 55)
          to label %283 unwind label %294

283:                                              ; preds = %281
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %279, ptr noundef nonnull align 8 dereferenceable(30) %30, ptr noundef nonnull @.str.8)
          to label %284 unwind label %294

284:                                              ; preds = %283
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #9
  br label %306

285:                                              ; preds = %259
  %286 = landingpad { ptr, i32 }
          cleanup
  br label %289

287:                                              ; preds = %267, %265, %262
  %288 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %28) #9
  br label %289

289:                                              ; preds = %287, %285
  %.pn38 = phi { ptr, i32 } [ %288, %287 ], [ %286, %285 ]
  invoke void @__cxa_end_catch()
          to label %435 unwind label %439

290:                                              ; preds = %269
  %291 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #9
  br label %435

292:                                              ; preds = %276
  %293 = landingpad { ptr, i32 }
          catch ptr null
  br label %296

294:                                              ; preds = %283, %281, %278
  %295 = landingpad { ptr, i32 }
          catch ptr null
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #9
  br label %296

296:                                              ; preds = %294, %292
  %.pn40 = phi { ptr, i32 } [ %295, %294 ], [ %293, %292 ]
  %.1223 = extractvalue { ptr, i32 } %.pn40, 0
  %297 = call ptr @__cxa_begin_catch(ptr %.1223) #9
  %298 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %299 unwind label %329

299:                                              ; preds = %296
  %300 = load ptr, ptr %298, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %31) #9
  %301 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %302 unwind label %331

302:                                              ; preds = %299
  %303 = load ptr, ptr %301, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %31, ptr noundef nonnull align 8 dereferenceable(30) %303, i32 noundef 55)
          to label %304 unwind label %331

304:                                              ; preds = %302
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %300, ptr noundef nonnull align 8 dereferenceable(30) %31, ptr noundef nonnull @.str.9)
          to label %305 unwind label %331

305:                                              ; preds = %304
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %31) #9
  invoke void @__cxa_end_catch()
          to label %306 unwind label %86

306:                                              ; preds = %273, %284, %305
  %307 = call noundef ptr @_ZNKSt19__shared_ptr_accessI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %3) #9
  invoke void @_ZN10HtnRuleSet8ClearAllEv(ptr noundef nonnull align 8 dereferenceable(144) %307)
          to label %308 unwind label %86

308:                                              ; preds = %306
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %32) #9
  %309 = invoke noalias noundef nonnull dereferenceable(88) ptr @_Znwm(i64 noundef 88) #10
          to label %310 unwind label %334

310:                                              ; preds = %308
  %311 = call noundef ptr @_ZNKSt12__shared_ptrI14HtnTermFactoryLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %2) #9
  %312 = call noundef ptr @_ZNKSt12__shared_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EE3getEv(ptr noundef nonnull align 8 dereferenceable(16) %3) #9
  call void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEEC2EP14HtnTermFactoryP10HtnRuleSet(ptr noundef nonnull align 8 dereferenceable(88) %309, ptr noundef %311, ptr noundef %312)
  invoke void @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEC2IS3_vEEPT_(ptr noundef nonnull align 8 dereferenceable(16) %32, ptr noundef nonnull %309)
          to label %313 unwind label %334

313:                                              ; preds = %310
  %314 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt10shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEEEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %4, ptr noundef nonnull align 8 dereferenceable(16) %32) #9
  call void @_ZNSt12__shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %32) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %32) #9
  %315 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %4) #9
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %34) #9
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #9
  invoke void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_(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 @.str.13)
          to label %316 unwind label %336

316:                                              ; preds = %313
  %317 = invoke noundef zeroext i1 @_ZN6FXPlat8CompilerIN6Prolog14PrologDocumentINS1_11HtnVariableEEEE7CompileENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(32) %315, ptr noundef nonnull %33)
          to label %318 unwind label %338

318:                                              ; preds = %316
  %319 = call noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %317)
  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) %34) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %34) #9
  br i1 %319, label %355, label %320

320:                                              ; preds = %318
  %321 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %322 unwind label %341

322:                                              ; preds = %320
  %323 = load ptr, ptr %321, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %35) #9
  %324 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %325 unwind label %343

325:                                              ; preds = %322
  %326 = load ptr, ptr %324, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %35, ptr noundef nonnull align 8 dereferenceable(30) %326, i32 noundef 62)
          to label %327 unwind label %343

327:                                              ; preds = %325
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %323, ptr noundef nonnull align 8 dereferenceable(30) %35, ptr noundef nonnull @.str.14)
          to label %328 unwind label %343

328:                                              ; preds = %327
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %35) #9
  br label %355

329:                                              ; preds = %296
  %330 = landingpad { ptr, i32 }
          cleanup
  br label %333

331:                                              ; preds = %304, %302, %299
  %332 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %31) #9
  br label %333

333:                                              ; preds = %331, %329
  %.pn41 = phi { ptr, i32 } [ %332, %331 ], [ %330, %329 ]
  invoke void @__cxa_end_catch()
          to label %435 unwind label %439

334:                                              ; preds = %310, %308
  %335 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %32) #9
  br label %435

336:                                              ; preds = %313
  %337 = landingpad { ptr, i32 }
          catch ptr null
  br label %340

338:                                              ; preds = %316
  %339 = landingpad { ptr, i32 }
          catch ptr null
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #9
  br label %340

340:                                              ; preds = %338, %336
  %.pn43 = phi { ptr, i32 } [ %339, %338 ], [ %337, %336 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %34) #9
  br label %345

341:                                              ; preds = %320
  %342 = landingpad { ptr, i32 }
          catch ptr null
  br label %345

343:                                              ; preds = %327, %325, %322
  %344 = landingpad { ptr, i32 }
          catch ptr null
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %35) #9
  br label %345

345:                                              ; preds = %343, %341, %340
  %.pn44 = phi { ptr, i32 } [ %344, %343 ], [ %342, %341 ], [ %.pn43, %340 ]
  %.15 = extractvalue { ptr, i32 } %.pn44, 0
  %346 = call ptr @__cxa_begin_catch(ptr %.15) #9
  %347 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %348 unwind label %371

348:                                              ; preds = %345
  %349 = load ptr, ptr %347, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %36) #9
  %350 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %351 unwind label %373

351:                                              ; preds = %348
  %352 = load ptr, ptr %350, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %36, ptr noundef nonnull align 8 dereferenceable(30) %352, i32 noundef 62)
          to label %353 unwind label %373

353:                                              ; preds = %351
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %349, ptr noundef nonnull align 8 dereferenceable(30) %36, ptr noundef nonnull @.str.15)
          to label %354 unwind label %373

354:                                              ; preds = %353
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #9
  invoke void @__cxa_end_catch()
          to label %355 unwind label %86

355:                                              ; preds = %318, %328, %354
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %37) #9
  %356 = call noundef ptr @_ZNKSt19__shared_ptr_accessI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2ELb0ELb0EEptEv(ptr noundef nonnull align 1 dereferenceable(1) %4) #9
  call void @_ZNSt10shared_ptrI15HtnGoalResolverEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %38, ptr noundef nonnull align 8 dereferenceable(16) %5) #9
  invoke void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEE19FindRuleLogicErrorsB5cxx11ESt10shared_ptrI15HtnGoalResolverE(ptr dead_on_unwind nonnull writable sret(%"class.std::set") align 8 %37, ptr noundef nonnull align 8 dereferenceable(88) %356, ptr noundef nonnull %38)
          to label %357 unwind label %376

357:                                              ; preds = %355
  %358 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EEaSEOS9_(ptr noundef nonnull align 8 dereferenceable(48) %6, ptr noundef nonnull align 8 dereferenceable(48) %37) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %37) #9
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %38) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %37) #9
  %359 = call noundef i64 @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(48) %6) #9
  %360 = icmp eq i64 %359, 1
  %361 = call noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %360)
  br i1 %361, label %392, label %362

362:                                              ; preds = %357
  %363 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %364 unwind label %378

364:                                              ; preds = %362
  %365 = load ptr, ptr %363, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %39) #9
  %366 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %367 unwind label %380

367:                                              ; preds = %364
  %368 = load ptr, ptr %366, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %39, ptr noundef nonnull align 8 dereferenceable(30) %368, i32 noundef 64)
          to label %369 unwind label %380

369:                                              ; preds = %367
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %365, ptr noundef nonnull align 8 dereferenceable(30) %39, ptr noundef nonnull @.str.5)
          to label %370 unwind label %380

370:                                              ; preds = %369
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %39) #9
  br label %392

371:                                              ; preds = %345
  %372 = landingpad { ptr, i32 }
          cleanup
  br label %375

373:                                              ; preds = %353, %351, %348
  %374 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #9
  br label %375

375:                                              ; preds = %373, %371
  %.pn45 = phi { ptr, i32 } [ %374, %373 ], [ %372, %371 ]
  invoke void @__cxa_end_catch()
          to label %435 unwind label %439

376:                                              ; preds = %355
  %377 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %38) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %37) #9
  br label %435

378:                                              ; preds = %362
  %379 = landingpad { ptr, i32 }
          catch ptr null
  br label %382

380:                                              ; preds = %369, %367, %364
  %381 = landingpad { ptr, i32 }
          catch ptr null
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %39) #9
  br label %382

382:                                              ; preds = %380, %378
  %.pn47 = phi { ptr, i32 } [ %381, %380 ], [ %379, %378 ]
  %.17 = extractvalue { ptr, i32 } %.pn47, 0
  %383 = call ptr @__cxa_begin_catch(ptr %.17) #9
  %384 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %385 unwind label %408

385:                                              ; preds = %382
  %386 = load ptr, ptr %384, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %40) #9
  %387 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %388 unwind label %410

388:                                              ; preds = %385
  %389 = load ptr, ptr %387, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %40, ptr noundef nonnull align 8 dereferenceable(30) %389, i32 noundef 64)
          to label %390 unwind label %410

390:                                              ; preds = %388
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %386, ptr noundef nonnull align 8 dereferenceable(30) %40, ptr noundef nonnull @.str.6)
          to label %391 unwind label %410

391:                                              ; preds = %390
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %40) #9
  invoke void @__cxa_end_catch()
          to label %392 unwind label %86

392:                                              ; preds = %357, %370, %391
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %41) #9
  %393 = call ptr @_ZNKSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %6) #9
  store ptr %393, ptr %41, align 8
  %394 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt23_Rb_tree_const_iteratorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %41) #9
  %395 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull align 8 dereferenceable(32) %394)
          to label %396 unwind label %413

396:                                              ; preds = %392
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %41) #9
  %397 = call noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull @.str.7)
  %398 = call noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext %397)
  br i1 %398, label %429, label %399

399:                                              ; preds = %396
  %400 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %401 unwind label %415

401:                                              ; preds = %399
  %402 = load ptr, ptr %400, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %42) #9
  %403 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %404 unwind label %417

404:                                              ; preds = %401
  %405 = load ptr, ptr %403, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %42, ptr noundef nonnull align 8 dereferenceable(30) %405, i32 noundef 66)
          to label %406 unwind label %417

406:                                              ; preds = %404
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %402, ptr noundef nonnull align 8 dereferenceable(30) %42, ptr noundef nonnull @.str.8)
          to label %407 unwind label %417

407:                                              ; preds = %406
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %42) #9
  br label %429

408:                                              ; preds = %382
  %409 = landingpad { ptr, i32 }
          cleanup
  br label %412

410:                                              ; preds = %390, %388, %385
  %411 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %40) #9
  br label %412

412:                                              ; preds = %410, %408
  %.pn48 = phi { ptr, i32 } [ %411, %410 ], [ %409, %408 ]
  invoke void @__cxa_end_catch()
          to label %435 unwind label %439

413:                                              ; preds = %392
  %414 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %41) #9
  br label %435

415:                                              ; preds = %399
  %416 = landingpad { ptr, i32 }
          catch ptr null
  br label %419

417:                                              ; preds = %406, %404, %401
  %418 = landingpad { ptr, i32 }
          catch ptr null
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %42) #9
  br label %419

419:                                              ; preds = %417, %415
  %.pn50 = phi { ptr, i32 } [ %418, %417 ], [ %416, %415 ]
  %.19 = extractvalue { ptr, i32 } %.pn50, 0
  %420 = call ptr @__cxa_begin_catch(ptr %.19) #9
  %421 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv()
          to label %422 unwind label %430

422:                                              ; preds = %419
  %423 = load ptr, ptr %421, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %43) #9
  %424 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv()
          to label %425 unwind label %432

425:                                              ; preds = %422
  %426 = load ptr, ptr %424, align 8, !tbaa !5
  invoke void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30) %43, ptr noundef nonnull align 8 dereferenceable(30) %426, i32 noundef 66)
          to label %427 unwind label %432

427:                                              ; preds = %425
  invoke void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21) %423, ptr noundef nonnull align 8 dereferenceable(30) %43, ptr noundef nonnull @.str.9)
          to label %428 unwind label %432

428:                                              ; preds = %427
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %43) #9
  invoke void @__cxa_end_catch()
          to label %429 unwind label %86

429:                                              ; preds = %396, %407, %428
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %6) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %6) #9
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %5) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #9
  call void @_ZNSt12__shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %4) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #9
  call void @_ZNSt12__shared_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %3) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %3) #9
  call void @_ZNSt12__shared_ptrI14HtnTermFactoryLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %2) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %2) #9
  ret void

430:                                              ; preds = %419
  %431 = landingpad { ptr, i32 }
          cleanup
  br label %434

432:                                              ; preds = %427, %425, %422
  %433 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %43) #9
  br label %434

434:                                              ; preds = %432, %430
  %.pn51 = phi { ptr, i32 } [ %433, %432 ], [ %431, %430 ]
  invoke void @__cxa_end_catch()
          to label %435 unwind label %439

435:                                              ; preds = %434, %412, %375, %333, %289, %252, %210, %166, %129, %413, %376, %334, %290, %253, %211, %167, %130, %88, %86
  %.pn53 = phi { ptr, i32 } [ %87, %86 ], [ %.pn51, %434 ], [ %414, %413 ], [ %.pn48, %412 ], [ %377, %376 ], [ %.pn45, %375 ], [ %335, %334 ], [ %.pn41, %333 ], [ %291, %290 ], [ %.pn38, %289 ], [ %254, %253 ], [ %.pn35, %252 ], [ %212, %211 ], [ %.pn31, %210 ], [ %168, %167 ], [ %.pn28, %166 ], [ %131, %130 ], [ %.pn25, %129 ], [ %89, %88 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #9
  call void @_ZNSt3setINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS5_ESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %6) #9
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %6) #9
  call void @_ZNSt12__shared_ptrI15HtnGoalResolverLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %5) #9
  br label %436

436:                                              ; preds = %435, %84, %82
  %.pn53.pn = phi { ptr, i32 } [ %.pn53, %435 ], [ %83, %82 ], [ %85, %84 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #9
  call void @_ZNSt12__shared_ptrI18PrologCompilerBaseIN6Prolog11HtnVariableEELN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %4) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #9
  call void @_ZNSt12__shared_ptrI10HtnRuleSetLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %3) #9
  br label %437

437:                                              ; preds = %436, %80, %78
  %.pn53.pn.pn = phi { ptr, i32 } [ %.pn53.pn, %436 ], [ %79, %78 ], [ %81, %80 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %3) #9
  call void @_ZNSt12__shared_ptrI14HtnTermFactoryLN9__gnu_cxx12_Lock_policyE2EED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %2) #9
  br label %438

438:                                              ; preds = %437, %76
  %.pn53.pn.pn.pn = phi { ptr, i32 } [ %.pn53.pn.pn, %437 ], [ %77, %76 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %2) #9
  resume { ptr, i32 } %.pn53.pn.pn.pn

439:                                              ; preds = %434, %412, %375, %333, %289, %252, %210, %166, %129
  %440 = landingpad { ptr, i32 }
          catch ptr null
  %441 = extractvalue { ptr, i32 } %440, 0
  call void @__clang_call_terminate(ptr %441) #12
  unreachable
}

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

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

declare void @_ZN14HtnTermFactoryC1Ev(ptr noundef nonnull align 8 dereferenceable(33088)) unnamed_addr #3

declare i32 @__gxx_personality_v0(...)

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN10HtnRuleSetC2Ev(ptr noundef nonnull align 8 dereferenceable(144)) unnamed_addr #0 align 2

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

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

declare void @_ZN15HtnGoalResolverC1Ev(ptr noundef nonnull align 8 dereferenceable(64)) unnamed_addr #3

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

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

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

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

declare void @_ZN10HtnRuleSet8ClearAllEv(ptr noundef nonnull align 8 dereferenceable(144)) local_unnamed_addr #3

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN8UnitTest5CheckIbEEbT_(i1 noundef zeroext) local_unnamed_addr #5

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

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7ResultsEv() local_unnamed_addr #3

declare void @_ZN8UnitTest11TestResults13OnTestFailureERKNS_11TestDetailsEPKc(ptr noundef nonnull align 8 dereferenceable(21), ptr noundef nonnull align 8 dereferenceable(30), ptr noundef) local_unnamed_addr #3

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN8UnitTest11CurrentTest7DetailsEv() local_unnamed_addr #3

declare void @_ZN8UnitTest11TestDetailsC1ERKS0_i(ptr noundef nonnull align 8 dereferenceable(30), ptr noundef nonnull align 8 dereferenceable(30), i32 noundef) unnamed_addr #3

declare ptr @__cxa_begin_catch(ptr) local_unnamed_addr

declare void @__cxa_end_catch() local_unnamed_addr

; Function Attrs: noinline noreturn nounwind uwtable
declare hidden void @__clang_call_terminate(ptr noundef) local_unnamed_addr #7

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN18PrologCompilerBaseIN6Prolog11HtnVariableEE19FindRuleLogicErrorsB5cxx11ESt10shared_ptrI15HtnGoalResolverE(ptr dead_on_unwind noalias writable sret(%"class.std::set") align 8, ptr noundef nonnull align 8 dereferenceable(88), ptr noundef) local_unnamed_addr #0 align 2

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

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

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

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

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

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

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

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

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

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

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

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

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


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GlobalOptPass,InferFunctionAttrsPass,InstCombinePass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass