; LLVM IR from vldtecno/PTN-Engine :: Tests/BlackBoxTests/Mocks/Dispatcher (InhibitedPetriNet)

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

%"struct.ptne::PlaceProperties" = type <{ %"class.std::__cxx11::basic_string", i64, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::function", %"class.std::function", i8, [7 x i8] }>
%"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.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%"class.std::allocator" = type { i8 }
%"struct.ptne::TransitionProperties" = type <{ %"class.std::__cxx11::basic_string", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.5", %"class.std::vector.10", i8, [7 x i8] }>
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<ptne::ArcProperties, std::allocator<ptne::ArcProperties>>::_Vector_impl" }
%"struct.std::_Vector_base<ptne::ArcProperties, std::allocator<ptne::ArcProperties>>::_Vector_impl" = type { %"struct.std::_Vector_base<ptne::ArcProperties, std::allocator<ptne::ArcProperties>>::_Vector_impl_data" }
%"struct.std::_Vector_base<ptne::ArcProperties, std::allocator<ptne::ArcProperties>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.10" = type { %"struct.std::_Vector_base.11" }
%"struct.std::_Vector_base.11" = type { %"struct.std::_Vector_base<std::function<bool ()>, std::allocator<std::function<bool ()>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::function<bool ()>, std::allocator<std::function<bool ()>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::function<bool ()>, std::allocator<std::function<bool ()>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::function<bool ()>, std::allocator<std::function<bool ()>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::initializer_list" = type { ptr, i64 }
%"struct.ptne::ArcProperties" = type <{ i64, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, [4 x i8] }>
%"class.std::allocator.2" = type { i8 }

@_ZTV17InhibitedPetriNet = external dso_local unnamed_addr constant { [8 x ptr], [4 x ptr] }, align 8
@.str = external hidden unnamed_addr constant [17 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [3 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN17InhibitedPetriNetC2EN4ptne10PTN_Engine21ACTIONS_THREAD_OPTIONE(ptr noundef nonnull align 8 dereferenceable(24) %0, i32 noundef %1) unnamed_addr #0 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca %"struct.ptne::PlaceProperties", align 8
  %8 = alloca %"class.std::allocator", align 1
  %9 = alloca %"struct.ptne::PlaceProperties", align 8
  %10 = alloca %"class.std::allocator", align 1
  %11 = alloca %"struct.ptne::PlaceProperties", align 8
  %12 = alloca %"class.std::allocator", align 1
  %13 = alloca %"struct.ptne::PlaceProperties", align 8
  %14 = alloca %"class.std::allocator", align 1
  %15 = alloca %"struct.ptne::PlaceProperties", align 8
  %16 = alloca %"class.std::allocator", align 1
  %17 = alloca %"struct.ptne::PlaceProperties", align 8
  %18 = alloca %"class.std::allocator", align 1
  %19 = alloca %"struct.ptne::TransitionProperties", align 8
  %20 = alloca %"class.std::allocator", align 1
  %21 = alloca %"class.std::initializer_list", align 8
  %22 = alloca [3 x %"struct.ptne::ArcProperties"], align 8
  %23 = alloca ptr, align 8
  %24 = alloca %"class.std::allocator", align 1
  %25 = alloca %"class.std::allocator", align 1
  %26 = alloca %"class.std::allocator", align 1
  %27 = alloca i1, align 1
  %28 = alloca %"class.std::allocator.2", align 1
  %29 = alloca %"class.std::initializer_list", align 8
  %30 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %31 = alloca ptr, align 8
  %32 = alloca %"class.std::allocator", align 1
  %33 = alloca i1, align 1
  %34 = alloca %"class.std::allocator.2", align 1
  %35 = alloca i1, align 1
  %36 = alloca i1, align 1
  %37 = alloca %"struct.ptne::TransitionProperties", align 8
  %38 = alloca %"class.std::allocator", align 1
  %39 = alloca %"class.std::initializer_list", align 8
  %40 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %41 = alloca ptr, align 8
  %42 = alloca %"class.std::allocator", align 1
  %43 = alloca i1, align 1
  %44 = alloca %"class.std::allocator.2", align 1
  %45 = alloca %"class.std::initializer_list", align 8
  %46 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %47 = alloca ptr, align 8
  %48 = alloca %"class.std::allocator", align 1
  %49 = alloca i1, align 1
  %50 = alloca %"class.std::allocator.2", align 1
  %51 = alloca %"class.std::initializer_list", align 8
  %52 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %53 = alloca ptr, align 8
  %54 = alloca %"class.std::allocator", align 1
  %55 = alloca i1, align 1
  %56 = alloca %"class.std::allocator.2", align 1
  %57 = alloca i1, align 1
  %58 = alloca i1, align 1
  %59 = alloca i1, align 1
  %60 = alloca %"struct.ptne::TransitionProperties", align 8
  %61 = alloca %"class.std::allocator", align 1
  %62 = alloca %"class.std::initializer_list", align 8
  %63 = alloca [2 x %"struct.ptne::ArcProperties"], align 8
  %64 = alloca ptr, align 8
  %65 = alloca %"class.std::allocator", align 1
  %66 = alloca %"class.std::allocator", align 1
  %67 = alloca i1, align 1
  %68 = alloca %"class.std::allocator.2", align 1
  %69 = alloca %"class.std::initializer_list", align 8
  %70 = alloca [2 x %"struct.ptne::ArcProperties"], align 8
  %71 = alloca ptr, align 8
  %72 = alloca %"class.std::allocator", align 1
  %73 = alloca %"class.std::allocator", align 1
  %74 = alloca i1, align 1
  %75 = alloca %"class.std::allocator.2", align 1
  %76 = alloca i1, align 1
  %77 = alloca i1, align 1
  %78 = alloca %"struct.ptne::TransitionProperties", align 8
  %79 = alloca %"class.std::allocator", align 1
  %80 = alloca %"class.std::initializer_list", align 8
  %81 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %82 = alloca ptr, align 8
  %83 = alloca %"class.std::allocator", align 1
  %84 = alloca i1, align 1
  %85 = alloca %"class.std::allocator.2", align 1
  %86 = alloca %"class.std::initializer_list", align 8
  %87 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %88 = alloca ptr, align 8
  %89 = alloca %"class.std::allocator", align 1
  %90 = alloca i1, align 1
  %91 = alloca %"class.std::allocator.2", align 1
  %92 = alloca %"class.std::initializer_list", align 8
  %93 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %94 = alloca ptr, align 8
  %95 = alloca %"class.std::allocator", align 1
  %96 = alloca i1, align 1
  %97 = alloca %"class.std::allocator.2", align 1
  %98 = alloca i1, align 1
  %99 = alloca i1, align 1
  %100 = alloca i1, align 1
  store ptr %0, ptr %3, align 8, !tbaa !5
  store i32 %1, ptr %4, align 4, !tbaa !9
  %101 = load ptr, ptr %3, align 8
  call void @_ZN19IDispatcherPetriNetC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %101) #7
  %102 = getelementptr inbounds i8, ptr %101, i64 8
  %103 = load i32, ptr %4, align 4, !tbaa !9
  invoke void @_ZN4ptne10PTN_EngineC2ENS0_21ACTIONS_THREAD_OPTIONE(ptr noundef nonnull align 8 dereferenceable(16) %102, i32 noundef %103)
          to label %104 unwind label %420

104:                                              ; preds = %2
  store ptr getelementptr inbounds inrange(-16, 48) ({ [8 x ptr], [4 x ptr] }, ptr @_ZTV17InhibitedPetriNet, i32 0, i32 0, i32 2), ptr %101, align 8, !tbaa !11
  %105 = getelementptr inbounds i8, ptr %101, i64 8
  store ptr getelementptr inbounds inrange(-16, 16) ({ [8 x ptr], [4 x ptr] }, ptr @_ZTV17InhibitedPetriNet, i32 0, i32 1, i32 2), ptr %105, align 8, !tbaa !11
  %106 = getelementptr inbounds i8, ptr %101, i64 8
  call void @llvm.lifetime.start.p0(i64 176, ptr %7) #7
  %107 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 1, ptr %8) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %8) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %107, ptr noundef @.str, ptr noundef nonnull align 1 dereferenceable(1) %8)
          to label %108 unwind label %424

108:                                              ; preds = %104
  %109 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 1
  store i64 0, ptr %109, align 8, !tbaa !13
  %110 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %110) #7
  %111 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 3
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %111) #7
  %112 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 4
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %112, ptr null) #7
  %113 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 5
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %113, ptr null) #7
  %114 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 6
  store i8 1, ptr %114, align 8, !tbaa !21
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %106, ptr noundef nonnull align 8 dereferenceable(176) %7)
          to label %115 unwind label %428

115:                                              ; preds = %108
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %7) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %8) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %7) #7
  %116 = getelementptr inbounds i8, ptr %101, i64 8
  call void @llvm.lifetime.start.p0(i64 176, ptr %9) #7
  %117 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 1, ptr %10) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %10) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %117, ptr noundef @.str.1, ptr noundef nonnull align 1 dereferenceable(1) %10)
          to label %118 unwind label %433

118:                                              ; preds = %115
  %119 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 1
  store i64 1, ptr %119, align 8, !tbaa !13
  %120 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %120) #7
  %121 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 3
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %121) #7
  %122 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 4
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %122, ptr null) #7
  %123 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 5
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %123, ptr null) #7
  %124 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 6
  store i8 0, ptr %124, align 8, !tbaa !21
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %116, ptr noundef nonnull align 8 dereferenceable(176) %9)
          to label %125 unwind label %437

125:                                              ; preds = %118
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %9) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %10) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %9) #7
  %126 = getelementptr inbounds i8, ptr %101, i64 8
  call void @llvm.lifetime.start.p0(i64 176, ptr %11) #7
  %127 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 1, ptr %12) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %12) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %127, ptr noundef @.str.2, ptr noundef nonnull align 1 dereferenceable(1) %12)
          to label %128 unwind label %442

128:                                              ; preds = %125
  %129 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 1
  store i64 1, ptr %129, align 8, !tbaa !13
  %130 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %130) #7
  %131 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 3
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %131) #7
  %132 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 4
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %132, ptr null) #7
  %133 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 5
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %133, ptr null) #7
  %134 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 6
  store i8 0, ptr %134, align 8, !tbaa !21
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %126, ptr noundef nonnull align 8 dereferenceable(176) %11)
          to label %135 unwind label %446

135:                                              ; preds = %128
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %11) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %12) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %11) #7
  %136 = getelementptr inbounds i8, ptr %101, i64 8
  call void @llvm.lifetime.start.p0(i64 176, ptr %13) #7
  %137 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 1, ptr %14) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %137, ptr noundef @.str.3, ptr noundef nonnull align 1 dereferenceable(1) %14)
          to label %138 unwind label %451

138:                                              ; preds = %135
  %139 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 1
  store i64 1, ptr %139, align 8, !tbaa !13
  %140 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %140) #7
  %141 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 3
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %141) #7
  %142 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 4
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %142, ptr null) #7
  %143 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 5
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %143, ptr null) #7
  %144 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 6
  store i8 0, ptr %144, align 8, !tbaa !21
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %136, ptr noundef nonnull align 8 dereferenceable(176) %13)
          to label %145 unwind label %455

145:                                              ; preds = %138
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %13) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %13) #7
  %146 = getelementptr inbounds i8, ptr %101, i64 8
  call void @llvm.lifetime.start.p0(i64 176, ptr %15) #7
  %147 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %15, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 1, ptr %16) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %147, ptr noundef @.str.4, ptr noundef nonnull align 1 dereferenceable(1) %16)
          to label %148 unwind label %460

148:                                              ; preds = %145
  %149 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %15, i32 0, i32 1
  store i64 0, ptr %149, align 8, !tbaa !13
  %150 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %15, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %150) #7
  %151 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %15, i32 0, i32 3
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %151) #7
  %152 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %15, i32 0, i32 4
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %152, ptr null) #7
  %153 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %15, i32 0, i32 5
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %153, ptr null) #7
  %154 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %15, i32 0, i32 6
  store i8 0, ptr %154, align 8, !tbaa !21
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %146, ptr noundef nonnull align 8 dereferenceable(176) %15)
          to label %155 unwind label %464

155:                                              ; preds = %148
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %15) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %15) #7
  %156 = getelementptr inbounds i8, ptr %101, i64 8
  call void @llvm.lifetime.start.p0(i64 176, ptr %17) #7
  %157 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %17, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 1, ptr %18) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %18) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %157, ptr noundef @.str.5, ptr noundef nonnull align 1 dereferenceable(1) %18)
          to label %158 unwind label %469

158:                                              ; preds = %155
  %159 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %17, i32 0, i32 1
  store i64 0, ptr %159, align 8, !tbaa !13
  %160 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %17, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %160) #7
  %161 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %17, i32 0, i32 3
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %161) #7
  %162 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %17, i32 0, i32 4
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %162, ptr null) #7
  %163 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %17, i32 0, i32 5
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %163, ptr null) #7
  %164 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %17, i32 0, i32 6
  store i8 0, ptr %164, align 8, !tbaa !21
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %156, ptr noundef nonnull align 8 dereferenceable(176) %17)
          to label %165 unwind label %473

165:                                              ; preds = %158
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %17) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %18) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %17) #7
  %166 = getelementptr inbounds i8, ptr %101, i64 8
  call void @llvm.lifetime.start.p0(i64 160, ptr %19) #7
  %167 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %19, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 1, ptr %20) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %167, ptr noundef @.str.6, ptr noundef nonnull align 1 dereferenceable(1) %20)
          to label %168 unwind label %478

168:                                              ; preds = %165
  store i1 true, ptr %36, align 1
  %169 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %19, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 240, ptr %22) #7
  store i1 true, ptr %27, align 1
  store ptr %22, ptr %23, align 8
  %170 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %22, i32 0, i32 0
  store i64 1, ptr %170, align 8, !tbaa !22
  %171 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %22, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %24) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %24) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %171, ptr noundef @.str, ptr noundef nonnull align 1 dereferenceable(1) %24)
          to label %172 unwind label %482

172:                                              ; preds = %168
  %173 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %22, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %173) #7
  %174 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %22, i32 0, i32 3
  store i32 0, ptr %174, align 8, !tbaa !25
  %175 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %22, i64 1
  store ptr %175, ptr %23, align 8
  %176 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %175, i32 0, i32 0
  store i64 1, ptr %176, align 8, !tbaa !22
  %177 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %175, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %25) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %177, ptr noundef @.str.1, ptr noundef nonnull align 1 dereferenceable(1) %25)
          to label %178 unwind label %486

178:                                              ; preds = %172
  %179 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %175, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %179) #7
  %180 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %175, i32 0, i32 3
  store i32 0, ptr %180, align 8, !tbaa !25
  %181 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %22, i64 2
  store ptr %181, ptr %23, align 8
  %182 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %181, i32 0, i32 0
  store i64 1, ptr %182, align 8, !tbaa !22
  %183 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %181, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %26) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %26) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %183, ptr noundef @.str.3, ptr noundef nonnull align 1 dereferenceable(1) %26)
          to label %184 unwind label %490

184:                                              ; preds = %178
  %185 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %181, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %185) #7
  %186 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %181, i32 0, i32 3
  store i32 0, ptr %186, align 8, !tbaa !25
  store i1 false, ptr %27, align 1
  %187 = getelementptr inbounds %"class.std::initializer_list", ptr %21, i32 0, i32 0
  store ptr %22, ptr %187, align 8, !tbaa !26
  %188 = getelementptr inbounds %"class.std::initializer_list", ptr %21, i32 0, i32 1
  store i64 3, ptr %188, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %28) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %28) #7
  %189 = getelementptr inbounds { ptr, i64 }, ptr %21, i32 0, i32 0
  %190 = load ptr, ptr %189, align 8
  %191 = getelementptr inbounds { ptr, i64 }, ptr %21, i32 0, i32 1
  %192 = load i64, ptr %191, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %169, ptr %190, i64 %192, ptr noundef nonnull align 1 dereferenceable(1) %28)
          to label %193 unwind label %494

193:                                              ; preds = %184
  store i1 true, ptr %35, align 1
  %194 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %19, i32 0, i32 2
  call void @llvm.lifetime.start.p0(i64 80, ptr %30) #7
  store i1 true, ptr %33, align 1
  store ptr %30, ptr %31, align 8
  %195 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %30, i32 0, i32 0
  store i64 1, ptr %195, align 8, !tbaa !22
  %196 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %30, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %32) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %32) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %196, ptr noundef @.str.4, ptr noundef nonnull align 1 dereferenceable(1) %32)
          to label %197 unwind label %498

197:                                              ; preds = %193
  %198 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %30, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %198) #7
  %199 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %30, i32 0, i32 3
  store i32 0, ptr %199, align 8, !tbaa !25
  store i1 false, ptr %33, align 1
  %200 = getelementptr inbounds %"class.std::initializer_list", ptr %29, i32 0, i32 0
  store ptr %30, ptr %200, align 8, !tbaa !26
  %201 = getelementptr inbounds %"class.std::initializer_list", ptr %29, i32 0, i32 1
  store i64 1, ptr %201, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %34) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #7
  %202 = getelementptr inbounds { ptr, i64 }, ptr %29, i32 0, i32 0
  %203 = load ptr, ptr %202, align 8
  %204 = getelementptr inbounds { ptr, i64 }, ptr %29, i32 0, i32 1
  %205 = load i64, ptr %204, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %194, ptr %203, i64 %205, ptr noundef nonnull align 1 dereferenceable(1) %34)
          to label %206 unwind label %502

206:                                              ; preds = %197
  %207 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %19, i32 0, i32 3
  call void @llvm.memset.p0.i64(ptr align 8 %207, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %207) #7
  %208 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %19, i32 0, i32 4
  call void @llvm.memset.p0.i64(ptr align 8 %208, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %208) #7
  %209 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %19, i32 0, i32 5
  call void @llvm.memset.p0.i64(ptr align 8 %209, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %209) #7
  %210 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %19, i32 0, i32 6
  store i8 0, ptr %210, align 8, !tbaa !29
  store i1 false, ptr %35, align 1
  store i1 false, ptr %36, align 1
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %166, ptr noundef nonnull align 8 dereferenceable(160) %19)
          to label %211 unwind label %506

211:                                              ; preds = %206
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %19) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #7
  %212 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %30, i32 0, i32 0
  %213 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %212, i64 1
  br label %214

214:                                              ; preds = %214, %211
  %215 = phi ptr [ %213, %211 ], [ %216, %214 ]
  %216 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %215, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %216) #7
  %217 = icmp eq ptr %216, %212
  br i1 %217, label %218, label %214

218:                                              ; preds = %214
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %32) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr %30) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %28) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %28) #7
  %219 = getelementptr inbounds [3 x %"struct.ptne::ArcProperties"], ptr %22, i32 0, i32 0
  %220 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %219, i64 3
  br label %221

221:                                              ; preds = %221, %218
  %222 = phi ptr [ %220, %218 ], [ %223, %221 ]
  %223 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %222, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %223) #7
  %224 = icmp eq ptr %223, %219
  br i1 %224, label %225, label %221

225:                                              ; preds = %221
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %26) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %26) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %25) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %24) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %24) #7
  call void @llvm.lifetime.end.p0(i64 240, ptr %22) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr %19) #7
  %226 = getelementptr inbounds i8, ptr %101, i64 8
  call void @llvm.lifetime.start.p0(i64 160, ptr %37) #7
  %227 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %37, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 1, ptr %38) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %227, ptr noundef @.str.7, ptr noundef nonnull align 1 dereferenceable(1) %38)
          to label %228 unwind label %557

228:                                              ; preds = %225
  store i1 true, ptr %59, align 1
  %229 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %37, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 80, ptr %40) #7
  store i1 true, ptr %43, align 1
  store ptr %40, ptr %41, align 8
  %230 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %40, i32 0, i32 0
  store i64 1, ptr %230, align 8, !tbaa !22
  %231 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %40, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %42) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %42) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %231, ptr noundef @.str.2, ptr noundef nonnull align 1 dereferenceable(1) %42)
          to label %232 unwind label %561

232:                                              ; preds = %228
  %233 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %40, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %233) #7
  %234 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %40, i32 0, i32 3
  store i32 0, ptr %234, align 8, !tbaa !25
  store i1 false, ptr %43, align 1
  %235 = getelementptr inbounds %"class.std::initializer_list", ptr %39, i32 0, i32 0
  store ptr %40, ptr %235, align 8, !tbaa !26
  %236 = getelementptr inbounds %"class.std::initializer_list", ptr %39, i32 0, i32 1
  store i64 1, ptr %236, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %44) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %44) #7
  %237 = getelementptr inbounds { ptr, i64 }, ptr %39, i32 0, i32 0
  %238 = load ptr, ptr %237, align 8
  %239 = getelementptr inbounds { ptr, i64 }, ptr %39, i32 0, i32 1
  %240 = load i64, ptr %239, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %229, ptr %238, i64 %240, ptr noundef nonnull align 1 dereferenceable(1) %44)
          to label %241 unwind label %565

241:                                              ; preds = %232
  store i1 true, ptr %58, align 1
  %242 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %37, i32 0, i32 2
  call void @llvm.lifetime.start.p0(i64 80, ptr %46) #7
  store i1 true, ptr %49, align 1
  store ptr %46, ptr %47, align 8
  %243 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %46, i32 0, i32 0
  store i64 1, ptr %243, align 8, !tbaa !22
  %244 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %46, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %48) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %48) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %244, ptr noundef @.str.5, ptr noundef nonnull align 1 dereferenceable(1) %48)
          to label %245 unwind label %569

245:                                              ; preds = %241
  %246 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %46, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %246) #7
  %247 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %46, i32 0, i32 3
  store i32 0, ptr %247, align 8, !tbaa !25
  store i1 false, ptr %49, align 1
  %248 = getelementptr inbounds %"class.std::initializer_list", ptr %45, i32 0, i32 0
  store ptr %46, ptr %248, align 8, !tbaa !26
  %249 = getelementptr inbounds %"class.std::initializer_list", ptr %45, i32 0, i32 1
  store i64 1, ptr %249, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %50) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #7
  %250 = getelementptr inbounds { ptr, i64 }, ptr %45, i32 0, i32 0
  %251 = load ptr, ptr %250, align 8
  %252 = getelementptr inbounds { ptr, i64 }, ptr %45, i32 0, i32 1
  %253 = load i64, ptr %252, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %242, ptr %251, i64 %253, ptr noundef nonnull align 1 dereferenceable(1) %50)
          to label %254 unwind label %573

254:                                              ; preds = %245
  store i1 true, ptr %57, align 1
  %255 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %37, i32 0, i32 3
  call void @llvm.lifetime.start.p0(i64 80, ptr %52) #7
  store i1 true, ptr %55, align 1
  store ptr %52, ptr %53, align 8
  %256 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %52, i32 0, i32 0
  store i64 1, ptr %256, align 8, !tbaa !22
  %257 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %52, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %54) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %54) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %257, ptr noundef @.str.3, ptr noundef nonnull align 1 dereferenceable(1) %54)
          to label %258 unwind label %577

258:                                              ; preds = %254
  %259 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %52, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %259) #7
  %260 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %52, i32 0, i32 3
  store i32 0, ptr %260, align 8, !tbaa !25
  store i1 false, ptr %55, align 1
  %261 = getelementptr inbounds %"class.std::initializer_list", ptr %51, i32 0, i32 0
  store ptr %52, ptr %261, align 8, !tbaa !26
  %262 = getelementptr inbounds %"class.std::initializer_list", ptr %51, i32 0, i32 1
  store i64 1, ptr %262, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %56) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %56) #7
  %263 = getelementptr inbounds { ptr, i64 }, ptr %51, i32 0, i32 0
  %264 = load ptr, ptr %263, align 8
  %265 = getelementptr inbounds { ptr, i64 }, ptr %51, i32 0, i32 1
  %266 = load i64, ptr %265, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %255, ptr %264, i64 %266, ptr noundef nonnull align 1 dereferenceable(1) %56)
          to label %267 unwind label %581

267:                                              ; preds = %258
  %268 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %37, i32 0, i32 4
  call void @llvm.memset.p0.i64(ptr align 8 %268, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %268) #7
  %269 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %37, i32 0, i32 5
  call void @llvm.memset.p0.i64(ptr align 8 %269, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %269) #7
  %270 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %37, i32 0, i32 6
  store i8 0, ptr %270, align 8, !tbaa !29
  store i1 false, ptr %57, align 1
  store i1 false, ptr %58, align 1
  store i1 false, ptr %59, align 1
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %226, ptr noundef nonnull align 8 dereferenceable(160) %37)
          to label %271 unwind label %585

271:                                              ; preds = %267
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %37) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %56) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %56) #7
  %272 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %52, i32 0, i32 0
  %273 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %272, i64 1
  br label %274

274:                                              ; preds = %274, %271
  %275 = phi ptr [ %273, %271 ], [ %276, %274 ]
  %276 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %275, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %276) #7
  %277 = icmp eq ptr %276, %272
  br i1 %277, label %278, label %274

278:                                              ; preds = %274
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %54) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %54) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr %52) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %50) #7
  %279 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %46, i32 0, i32 0
  %280 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %279, i64 1
  br label %281

281:                                              ; preds = %281, %278
  %282 = phi ptr [ %280, %278 ], [ %283, %281 ]
  %283 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %282, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %283) #7
  %284 = icmp eq ptr %283, %279
  br i1 %284, label %285, label %281

285:                                              ; preds = %281
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %48) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %48) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr %46) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %44) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %44) #7
  %286 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %40, i32 0, i32 0
  %287 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %286, i64 1
  br label %288

288:                                              ; preds = %288, %285
  %289 = phi ptr [ %287, %285 ], [ %290, %288 ]
  %290 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %289, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %290) #7
  %291 = icmp eq ptr %290, %286
  br i1 %291, label %292, label %288

292:                                              ; preds = %288
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %42) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %42) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr %40) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr %37) #7
  %293 = getelementptr inbounds i8, ptr %101, i64 8
  call void @llvm.lifetime.start.p0(i64 160, ptr %60) #7
  %294 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %60, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 1, ptr %61) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %61) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %294, ptr noundef @.str.8, ptr noundef nonnull align 1 dereferenceable(1) %61)
          to label %295 unwind label %656

295:                                              ; preds = %292
  store i1 true, ptr %77, align 1
  %296 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %60, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 160, ptr %63) #7
  store i1 true, ptr %67, align 1
  store ptr %63, ptr %64, align 8
  %297 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %63, i32 0, i32 0
  store i64 1, ptr %297, align 8, !tbaa !22
  %298 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %63, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %65) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %65) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %298, ptr noundef @.str, ptr noundef nonnull align 1 dereferenceable(1) %65)
          to label %299 unwind label %660

299:                                              ; preds = %295
  %300 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %63, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %300) #7
  %301 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %63, i32 0, i32 3
  store i32 0, ptr %301, align 8, !tbaa !25
  %302 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %63, i64 1
  store ptr %302, ptr %64, align 8
  %303 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %302, i32 0, i32 0
  store i64 1, ptr %303, align 8, !tbaa !22
  %304 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %302, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %66) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %66) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %304, ptr noundef @.str.4, ptr noundef nonnull align 1 dereferenceable(1) %66)
          to label %305 unwind label %664

305:                                              ; preds = %299
  %306 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %302, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %306) #7
  %307 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %302, i32 0, i32 3
  store i32 0, ptr %307, align 8, !tbaa !25
  store i1 false, ptr %67, align 1
  %308 = getelementptr inbounds %"class.std::initializer_list", ptr %62, i32 0, i32 0
  store ptr %63, ptr %308, align 8, !tbaa !26
  %309 = getelementptr inbounds %"class.std::initializer_list", ptr %62, i32 0, i32 1
  store i64 2, ptr %309, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %68) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %68) #7
  %310 = getelementptr inbounds { ptr, i64 }, ptr %62, i32 0, i32 0
  %311 = load ptr, ptr %310, align 8
  %312 = getelementptr inbounds { ptr, i64 }, ptr %62, i32 0, i32 1
  %313 = load i64, ptr %312, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %296, ptr %311, i64 %313, ptr noundef nonnull align 1 dereferenceable(1) %68)
          to label %314 unwind label %668

314:                                              ; preds = %305
  store i1 true, ptr %76, align 1
  %315 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %60, i32 0, i32 2
  call void @llvm.lifetime.start.p0(i64 160, ptr %70) #7
  store i1 true, ptr %74, align 1
  store ptr %70, ptr %71, align 8
  %316 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %70, i32 0, i32 0
  store i64 1, ptr %316, align 8, !tbaa !22
  %317 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %70, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %72) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %72) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %317, ptr noundef @.str.1, ptr noundef nonnull align 1 dereferenceable(1) %72)
          to label %318 unwind label %672

318:                                              ; preds = %314
  %319 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %70, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %319) #7
  %320 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %70, i32 0, i32 3
  store i32 0, ptr %320, align 8, !tbaa !25
  %321 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %70, i64 1
  store ptr %321, ptr %71, align 8
  %322 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %321, i32 0, i32 0
  store i64 1, ptr %322, align 8, !tbaa !22
  %323 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %321, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %73) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %73) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %323, ptr noundef @.str.3, ptr noundef nonnull align 1 dereferenceable(1) %73)
          to label %324 unwind label %676

324:                                              ; preds = %318
  %325 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %321, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %325) #7
  %326 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %321, i32 0, i32 3
  store i32 0, ptr %326, align 8, !tbaa !25
  store i1 false, ptr %74, align 1
  %327 = getelementptr inbounds %"class.std::initializer_list", ptr %69, i32 0, i32 0
  store ptr %70, ptr %327, align 8, !tbaa !26
  %328 = getelementptr inbounds %"class.std::initializer_list", ptr %69, i32 0, i32 1
  store i64 2, ptr %328, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %75) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %75) #7
  %329 = getelementptr inbounds { ptr, i64 }, ptr %69, i32 0, i32 0
  %330 = load ptr, ptr %329, align 8
  %331 = getelementptr inbounds { ptr, i64 }, ptr %69, i32 0, i32 1
  %332 = load i64, ptr %331, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %315, ptr %330, i64 %332, ptr noundef nonnull align 1 dereferenceable(1) %75)
          to label %333 unwind label %680

333:                                              ; preds = %324
  %334 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %60, i32 0, i32 3
  call void @llvm.memset.p0.i64(ptr align 8 %334, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %334) #7
  %335 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %60, i32 0, i32 4
  call void @llvm.memset.p0.i64(ptr align 8 %335, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %335) #7
  %336 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %60, i32 0, i32 5
  call void @llvm.memset.p0.i64(ptr align 8 %336, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %336) #7
  %337 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %60, i32 0, i32 6
  store i8 0, ptr %337, align 8, !tbaa !29
  store i1 false, ptr %76, align 1
  store i1 false, ptr %77, align 1
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %293, ptr noundef nonnull align 8 dereferenceable(160) %60)
          to label %338 unwind label %684

338:                                              ; preds = %333
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %60) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %75) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %75) #7
  %339 = getelementptr inbounds [2 x %"struct.ptne::ArcProperties"], ptr %70, i32 0, i32 0
  %340 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %339, i64 2
  br label %341

341:                                              ; preds = %341, %338
  %342 = phi ptr [ %340, %338 ], [ %343, %341 ]
  %343 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %342, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %343) #7
  %344 = icmp eq ptr %343, %339
  br i1 %344, label %345, label %341

345:                                              ; preds = %341
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %73) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %73) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %72) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %72) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr %70) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %68) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %68) #7
  %346 = getelementptr inbounds [2 x %"struct.ptne::ArcProperties"], ptr %63, i32 0, i32 0
  %347 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %346, i64 2
  br label %348

348:                                              ; preds = %348, %345
  %349 = phi ptr [ %347, %345 ], [ %350, %348 ]
  %350 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %349, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %350) #7
  %351 = icmp eq ptr %350, %346
  br i1 %351, label %352, label %348

352:                                              ; preds = %348
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %66) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %66) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %65) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %65) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr %63) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %61) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %61) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr %60) #7
  %353 = getelementptr inbounds i8, ptr %101, i64 8
  call void @llvm.lifetime.start.p0(i64 160, ptr %78) #7
  %354 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %78, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 1, ptr %79) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %79) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %354, ptr noundef @.str.9, ptr noundef nonnull align 1 dereferenceable(1) %79)
          to label %355 unwind label %735

355:                                              ; preds = %352
  store i1 true, ptr %100, align 1
  %356 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %78, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 80, ptr %81) #7
  store i1 true, ptr %84, align 1
  store ptr %81, ptr %82, align 8
  %357 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %81, i32 0, i32 0
  store i64 1, ptr %357, align 8, !tbaa !22
  %358 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %81, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %83) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %83) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %358, ptr noundef @.str.5, ptr noundef nonnull align 1 dereferenceable(1) %83)
          to label %359 unwind label %739

359:                                              ; preds = %355
  %360 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %81, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %360) #7
  %361 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %81, i32 0, i32 3
  store i32 0, ptr %361, align 8, !tbaa !25
  store i1 false, ptr %84, align 1
  %362 = getelementptr inbounds %"class.std::initializer_list", ptr %80, i32 0, i32 0
  store ptr %81, ptr %362, align 8, !tbaa !26
  %363 = getelementptr inbounds %"class.std::initializer_list", ptr %80, i32 0, i32 1
  store i64 1, ptr %363, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %85) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %85) #7
  %364 = getelementptr inbounds { ptr, i64 }, ptr %80, i32 0, i32 0
  %365 = load ptr, ptr %364, align 8
  %366 = getelementptr inbounds { ptr, i64 }, ptr %80, i32 0, i32 1
  %367 = load i64, ptr %366, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %356, ptr %365, i64 %367, ptr noundef nonnull align 1 dereferenceable(1) %85)
          to label %368 unwind label %743

368:                                              ; preds = %359
  store i1 true, ptr %99, align 1
  %369 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %78, i32 0, i32 2
  call void @llvm.lifetime.start.p0(i64 80, ptr %87) #7
  store i1 true, ptr %90, align 1
  store ptr %87, ptr %88, align 8
  %370 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %87, i32 0, i32 0
  store i64 1, ptr %370, align 8, !tbaa !22
  %371 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %87, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %89) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %89) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %371, ptr noundef @.str.2, ptr noundef nonnull align 1 dereferenceable(1) %89)
          to label %372 unwind label %747

372:                                              ; preds = %368
  %373 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %87, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %373) #7
  %374 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %87, i32 0, i32 3
  store i32 0, ptr %374, align 8, !tbaa !25
  store i1 false, ptr %90, align 1
  %375 = getelementptr inbounds %"class.std::initializer_list", ptr %86, i32 0, i32 0
  store ptr %87, ptr %375, align 8, !tbaa !26
  %376 = getelementptr inbounds %"class.std::initializer_list", ptr %86, i32 0, i32 1
  store i64 1, ptr %376, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %91) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %91) #7
  %377 = getelementptr inbounds { ptr, i64 }, ptr %86, i32 0, i32 0
  %378 = load ptr, ptr %377, align 8
  %379 = getelementptr inbounds { ptr, i64 }, ptr %86, i32 0, i32 1
  %380 = load i64, ptr %379, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %369, ptr %378, i64 %380, ptr noundef nonnull align 1 dereferenceable(1) %91)
          to label %381 unwind label %751

381:                                              ; preds = %372
  store i1 true, ptr %98, align 1
  %382 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %78, i32 0, i32 3
  call void @llvm.lifetime.start.p0(i64 80, ptr %93) #7
  store i1 true, ptr %96, align 1
  store ptr %93, ptr %94, align 8
  %383 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %93, i32 0, i32 0
  store i64 1, ptr %383, align 8, !tbaa !22
  %384 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %93, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %95) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %95) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %384, ptr noundef @.str.4, ptr noundef nonnull align 1 dereferenceable(1) %95)
          to label %385 unwind label %755

385:                                              ; preds = %381
  %386 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %93, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %386) #7
  %387 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %93, i32 0, i32 3
  store i32 0, ptr %387, align 8, !tbaa !25
  store i1 false, ptr %96, align 1
  %388 = getelementptr inbounds %"class.std::initializer_list", ptr %92, i32 0, i32 0
  store ptr %93, ptr %388, align 8, !tbaa !26
  %389 = getelementptr inbounds %"class.std::initializer_list", ptr %92, i32 0, i32 1
  store i64 1, ptr %389, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %97) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %97) #7
  %390 = getelementptr inbounds { ptr, i64 }, ptr %92, i32 0, i32 0
  %391 = load ptr, ptr %390, align 8
  %392 = getelementptr inbounds { ptr, i64 }, ptr %92, i32 0, i32 1
  %393 = load i64, ptr %392, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %382, ptr %391, i64 %393, ptr noundef nonnull align 1 dereferenceable(1) %97)
          to label %394 unwind label %759

394:                                              ; preds = %385
  %395 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %78, i32 0, i32 4
  call void @llvm.memset.p0.i64(ptr align 8 %395, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %395) #7
  %396 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %78, i32 0, i32 5
  call void @llvm.memset.p0.i64(ptr align 8 %396, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %396) #7
  %397 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %78, i32 0, i32 6
  store i8 0, ptr %397, align 8, !tbaa !29
  store i1 false, ptr %98, align 1
  store i1 false, ptr %99, align 1
  store i1 false, ptr %100, align 1
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %353, ptr noundef nonnull align 8 dereferenceable(160) %78)
          to label %398 unwind label %763

398:                                              ; preds = %394
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %78) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %97) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %97) #7
  %399 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %93, i32 0, i32 0
  %400 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %399, i64 1
  br label %401

401:                                              ; preds = %401, %398
  %402 = phi ptr [ %400, %398 ], [ %403, %401 ]
  %403 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %402, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %403) #7
  %404 = icmp eq ptr %403, %399
  br i1 %404, label %405, label %401

405:                                              ; preds = %401
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %95) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %95) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr %93) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %91) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %91) #7
  %406 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %87, i32 0, i32 0
  %407 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %406, i64 1
  br label %408

408:                                              ; preds = %408, %405
  %409 = phi ptr [ %407, %405 ], [ %410, %408 ]
  %410 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %409, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %410) #7
  %411 = icmp eq ptr %410, %406
  br i1 %411, label %412, label %408

412:                                              ; preds = %408
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %89) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %89) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr %87) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %85) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %85) #7
  %413 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %81, i32 0, i32 0
  %414 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %413, i64 1
  br label %415

415:                                              ; preds = %415, %412
  %416 = phi ptr [ %414, %412 ], [ %417, %415 ]
  %417 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %416, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %417) #7
  %418 = icmp eq ptr %417, %413
  br i1 %418, label %419, label %415

419:                                              ; preds = %415
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %83) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %83) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr %81) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %79) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %79) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr %78) #7
  ret void

420:                                              ; preds = %2
  %421 = landingpad { ptr, i32 }
          cleanup
  %422 = extractvalue { ptr, i32 } %421, 0
  store ptr %422, ptr %5, align 8
  %423 = extractvalue { ptr, i32 } %421, 1
  store i32 %423, ptr %6, align 4
  br label %836

424:                                              ; preds = %104
  %425 = landingpad { ptr, i32 }
          cleanup
  %426 = extractvalue { ptr, i32 } %425, 0
  store ptr %426, ptr %5, align 8
  %427 = extractvalue { ptr, i32 } %425, 1
  store i32 %427, ptr %6, align 4
  br label %432

428:                                              ; preds = %108
  %429 = landingpad { ptr, i32 }
          cleanup
  %430 = extractvalue { ptr, i32 } %429, 0
  store ptr %430, ptr %5, align 8
  %431 = extractvalue { ptr, i32 } %429, 1
  store i32 %431, ptr %6, align 4
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %7) #7
  br label %432

432:                                              ; preds = %428, %424
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %8) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %7) #7
  br label %834

433:                                              ; preds = %115
  %434 = landingpad { ptr, i32 }
          cleanup
  %435 = extractvalue { ptr, i32 } %434, 0
  store ptr %435, ptr %5, align 8
  %436 = extractvalue { ptr, i32 } %434, 1
  store i32 %436, ptr %6, align 4
  br label %441

437:                                              ; preds = %118
  %438 = landingpad { ptr, i32 }
          cleanup
  %439 = extractvalue { ptr, i32 } %438, 0
  store ptr %439, ptr %5, align 8
  %440 = extractvalue { ptr, i32 } %438, 1
  store i32 %440, ptr %6, align 4
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %9) #7
  br label %441

441:                                              ; preds = %437, %433
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %10) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %9) #7
  br label %834

442:                                              ; preds = %125
  %443 = landingpad { ptr, i32 }
          cleanup
  %444 = extractvalue { ptr, i32 } %443, 0
  store ptr %444, ptr %5, align 8
  %445 = extractvalue { ptr, i32 } %443, 1
  store i32 %445, ptr %6, align 4
  br label %450

446:                                              ; preds = %128
  %447 = landingpad { ptr, i32 }
          cleanup
  %448 = extractvalue { ptr, i32 } %447, 0
  store ptr %448, ptr %5, align 8
  %449 = extractvalue { ptr, i32 } %447, 1
  store i32 %449, ptr %6, align 4
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %11) #7
  br label %450

450:                                              ; preds = %446, %442
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %12) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %12) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %11) #7
  br label %834

451:                                              ; preds = %135
  %452 = landingpad { ptr, i32 }
          cleanup
  %453 = extractvalue { ptr, i32 } %452, 0
  store ptr %453, ptr %5, align 8
  %454 = extractvalue { ptr, i32 } %452, 1
  store i32 %454, ptr %6, align 4
  br label %459

455:                                              ; preds = %138
  %456 = landingpad { ptr, i32 }
          cleanup
  %457 = extractvalue { ptr, i32 } %456, 0
  store ptr %457, ptr %5, align 8
  %458 = extractvalue { ptr, i32 } %456, 1
  store i32 %458, ptr %6, align 4
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %13) #7
  br label %459

459:                                              ; preds = %455, %451
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %13) #7
  br label %834

460:                                              ; preds = %145
  %461 = landingpad { ptr, i32 }
          cleanup
  %462 = extractvalue { ptr, i32 } %461, 0
  store ptr %462, ptr %5, align 8
  %463 = extractvalue { ptr, i32 } %461, 1
  store i32 %463, ptr %6, align 4
  br label %468

464:                                              ; preds = %148
  %465 = landingpad { ptr, i32 }
          cleanup
  %466 = extractvalue { ptr, i32 } %465, 0
  store ptr %466, ptr %5, align 8
  %467 = extractvalue { ptr, i32 } %465, 1
  store i32 %467, ptr %6, align 4
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %15) #7
  br label %468

468:                                              ; preds = %464, %460
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %16) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %15) #7
  br label %834

469:                                              ; preds = %155
  %470 = landingpad { ptr, i32 }
          cleanup
  %471 = extractvalue { ptr, i32 } %470, 0
  store ptr %471, ptr %5, align 8
  %472 = extractvalue { ptr, i32 } %470, 1
  store i32 %472, ptr %6, align 4
  br label %477

473:                                              ; preds = %158
  %474 = landingpad { ptr, i32 }
          cleanup
  %475 = extractvalue { ptr, i32 } %474, 0
  store ptr %475, ptr %5, align 8
  %476 = extractvalue { ptr, i32 } %474, 1
  store i32 %476, ptr %6, align 4
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %17) #7
  br label %477

477:                                              ; preds = %473, %469
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %18) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr %17) #7
  br label %834

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

482:                                              ; preds = %168
  %483 = landingpad { ptr, i32 }
          cleanup
  %484 = extractvalue { ptr, i32 } %483, 0
  store ptr %484, ptr %5, align 8
  %485 = extractvalue { ptr, i32 } %483, 1
  store i32 %485, ptr %6, align 4
  br label %542

486:                                              ; preds = %172
  %487 = landingpad { ptr, i32 }
          cleanup
  %488 = extractvalue { ptr, i32 } %487, 0
  store ptr %488, ptr %5, align 8
  %489 = extractvalue { ptr, i32 } %487, 1
  store i32 %489, ptr %6, align 4
  br label %541

490:                                              ; preds = %178
  %491 = landingpad { ptr, i32 }
          cleanup
  %492 = extractvalue { ptr, i32 } %491, 0
  store ptr %492, ptr %5, align 8
  %493 = extractvalue { ptr, i32 } %491, 1
  store i32 %493, ptr %6, align 4
  br label %540

494:                                              ; preds = %184
  %495 = landingpad { ptr, i32 }
          cleanup
  %496 = extractvalue { ptr, i32 } %495, 0
  store ptr %496, ptr %5, align 8
  %497 = extractvalue { ptr, i32 } %495, 1
  store i32 %497, ptr %6, align 4
  br label %532

498:                                              ; preds = %193
  %499 = landingpad { ptr, i32 }
          cleanup
  %500 = extractvalue { ptr, i32 } %499, 0
  store ptr %500, ptr %5, align 8
  %501 = extractvalue { ptr, i32 } %499, 1
  store i32 %501, ptr %6, align 4
  br label %518

502:                                              ; preds = %197
  %503 = landingpad { ptr, i32 }
          cleanup
  %504 = extractvalue { ptr, i32 } %503, 0
  store ptr %504, ptr %5, align 8
  %505 = extractvalue { ptr, i32 } %503, 1
  store i32 %505, ptr %6, align 4
  br label %510

506:                                              ; preds = %206
  %507 = landingpad { ptr, i32 }
          cleanup
  %508 = extractvalue { ptr, i32 } %507, 0
  store ptr %508, ptr %5, align 8
  %509 = extractvalue { ptr, i32 } %507, 1
  store i32 %509, ptr %6, align 4
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %19) #7
  br label %510

510:                                              ; preds = %506, %502
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #7
  %511 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %30, i32 0, i32 0
  %512 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %511, i64 1
  br label %513

513:                                              ; preds = %513, %510
  %514 = phi ptr [ %512, %510 ], [ %515, %513 ]
  %515 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %514, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %515) #7
  %516 = icmp eq ptr %515, %511
  br i1 %516, label %517, label %513

517:                                              ; preds = %513
  br label %518

518:                                              ; preds = %517, %498
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %32) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %32) #7
  %519 = load i1, ptr %33, align 1
  br i1 %519, label %520, label %528

520:                                              ; preds = %518
  %521 = load ptr, ptr %31, align 8
  %522 = icmp eq ptr %30, %521
  br i1 %522, label %527, label %523

523:                                              ; preds = %523, %520
  %524 = phi ptr [ %521, %520 ], [ %525, %523 ]
  %525 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %524, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %525) #7
  %526 = icmp eq ptr %525, %30
  br i1 %526, label %527, label %523

527:                                              ; preds = %523, %520
  br label %528

528:                                              ; preds = %527, %518
  call void @llvm.lifetime.end.p0(i64 80, ptr %30) #7
  %529 = load i1, ptr %35, align 1
  br i1 %529, label %530, label %531

530:                                              ; preds = %528
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %169) #7
  br label %531

531:                                              ; preds = %530, %528
  br label %532

532:                                              ; preds = %531, %494
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %28) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %28) #7
  %533 = getelementptr inbounds [3 x %"struct.ptne::ArcProperties"], ptr %22, i32 0, i32 0
  %534 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %533, i64 3
  br label %535

535:                                              ; preds = %535, %532
  %536 = phi ptr [ %534, %532 ], [ %537, %535 ]
  %537 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %536, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %537) #7
  %538 = icmp eq ptr %537, %533
  br i1 %538, label %539, label %535

539:                                              ; preds = %535
  br label %540

540:                                              ; preds = %539, %490
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %26) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %26) #7
  br label %541

541:                                              ; preds = %540, %486
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %25) #7
  br label %542

542:                                              ; preds = %541, %482
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %24) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %24) #7
  %543 = load i1, ptr %27, align 1
  br i1 %543, label %544, label %552

544:                                              ; preds = %542
  %545 = load ptr, ptr %23, align 8
  %546 = icmp eq ptr %22, %545
  br i1 %546, label %551, label %547

547:                                              ; preds = %547, %544
  %548 = phi ptr [ %545, %544 ], [ %549, %547 ]
  %549 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %548, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %549) #7
  %550 = icmp eq ptr %549, %22
  br i1 %550, label %551, label %547

551:                                              ; preds = %547, %544
  br label %552

552:                                              ; preds = %551, %542
  call void @llvm.lifetime.end.p0(i64 240, ptr %22) #7
  %553 = load i1, ptr %36, align 1
  br i1 %553, label %554, label %555

554:                                              ; preds = %552
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %167) #7
  br label %555

555:                                              ; preds = %554, %552
  br label %556

556:                                              ; preds = %555, %478
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr %19) #7
  br label %834

557:                                              ; preds = %225
  %558 = landingpad { ptr, i32 }
          cleanup
  %559 = extractvalue { ptr, i32 } %558, 0
  store ptr %559, ptr %5, align 8
  %560 = extractvalue { ptr, i32 } %558, 1
  store i32 %560, ptr %6, align 4
  br label %655

561:                                              ; preds = %228
  %562 = landingpad { ptr, i32 }
          cleanup
  %563 = extractvalue { ptr, i32 } %562, 0
  store ptr %563, ptr %5, align 8
  %564 = extractvalue { ptr, i32 } %562, 1
  store i32 %564, ptr %6, align 4
  br label %641

565:                                              ; preds = %232
  %566 = landingpad { ptr, i32 }
          cleanup
  %567 = extractvalue { ptr, i32 } %566, 0
  store ptr %567, ptr %5, align 8
  %568 = extractvalue { ptr, i32 } %566, 1
  store i32 %568, ptr %6, align 4
  br label %633

569:                                              ; preds = %241
  %570 = landingpad { ptr, i32 }
          cleanup
  %571 = extractvalue { ptr, i32 } %570, 0
  store ptr %571, ptr %5, align 8
  %572 = extractvalue { ptr, i32 } %570, 1
  store i32 %572, ptr %6, align 4
  br label %619

573:                                              ; preds = %245
  %574 = landingpad { ptr, i32 }
          cleanup
  %575 = extractvalue { ptr, i32 } %574, 0
  store ptr %575, ptr %5, align 8
  %576 = extractvalue { ptr, i32 } %574, 1
  store i32 %576, ptr %6, align 4
  br label %611

577:                                              ; preds = %254
  %578 = landingpad { ptr, i32 }
          cleanup
  %579 = extractvalue { ptr, i32 } %578, 0
  store ptr %579, ptr %5, align 8
  %580 = extractvalue { ptr, i32 } %578, 1
  store i32 %580, ptr %6, align 4
  br label %597

581:                                              ; preds = %258
  %582 = landingpad { ptr, i32 }
          cleanup
  %583 = extractvalue { ptr, i32 } %582, 0
  store ptr %583, ptr %5, align 8
  %584 = extractvalue { ptr, i32 } %582, 1
  store i32 %584, ptr %6, align 4
  br label %589

585:                                              ; preds = %267
  %586 = landingpad { ptr, i32 }
          cleanup
  %587 = extractvalue { ptr, i32 } %586, 0
  store ptr %587, ptr %5, align 8
  %588 = extractvalue { ptr, i32 } %586, 1
  store i32 %588, ptr %6, align 4
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %37) #7
  br label %589

589:                                              ; preds = %585, %581
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %56) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %56) #7
  %590 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %52, i32 0, i32 0
  %591 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %590, i64 1
  br label %592

592:                                              ; preds = %592, %589
  %593 = phi ptr [ %591, %589 ], [ %594, %592 ]
  %594 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %593, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %594) #7
  %595 = icmp eq ptr %594, %590
  br i1 %595, label %596, label %592

596:                                              ; preds = %592
  br label %597

597:                                              ; preds = %596, %577
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %54) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %54) #7
  %598 = load i1, ptr %55, align 1
  br i1 %598, label %599, label %607

599:                                              ; preds = %597
  %600 = load ptr, ptr %53, align 8
  %601 = icmp eq ptr %52, %600
  br i1 %601, label %606, label %602

602:                                              ; preds = %602, %599
  %603 = phi ptr [ %600, %599 ], [ %604, %602 ]
  %604 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %603, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %604) #7
  %605 = icmp eq ptr %604, %52
  br i1 %605, label %606, label %602

606:                                              ; preds = %602, %599
  br label %607

607:                                              ; preds = %606, %597
  call void @llvm.lifetime.end.p0(i64 80, ptr %52) #7
  %608 = load i1, ptr %57, align 1
  br i1 %608, label %609, label %610

609:                                              ; preds = %607
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %242) #7
  br label %610

610:                                              ; preds = %609, %607
  br label %611

611:                                              ; preds = %610, %573
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %50) #7
  %612 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %46, i32 0, i32 0
  %613 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %612, i64 1
  br label %614

614:                                              ; preds = %614, %611
  %615 = phi ptr [ %613, %611 ], [ %616, %614 ]
  %616 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %615, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %616) #7
  %617 = icmp eq ptr %616, %612
  br i1 %617, label %618, label %614

618:                                              ; preds = %614
  br label %619

619:                                              ; preds = %618, %569
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %48) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %48) #7
  %620 = load i1, ptr %49, align 1
  br i1 %620, label %621, label %629

621:                                              ; preds = %619
  %622 = load ptr, ptr %47, align 8
  %623 = icmp eq ptr %46, %622
  br i1 %623, label %628, label %624

624:                                              ; preds = %624, %621
  %625 = phi ptr [ %622, %621 ], [ %626, %624 ]
  %626 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %625, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %626) #7
  %627 = icmp eq ptr %626, %46
  br i1 %627, label %628, label %624

628:                                              ; preds = %624, %621
  br label %629

629:                                              ; preds = %628, %619
  call void @llvm.lifetime.end.p0(i64 80, ptr %46) #7
  %630 = load i1, ptr %58, align 1
  br i1 %630, label %631, label %632

631:                                              ; preds = %629
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %229) #7
  br label %632

632:                                              ; preds = %631, %629
  br label %633

633:                                              ; preds = %632, %565
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %44) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %44) #7
  %634 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %40, i32 0, i32 0
  %635 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %634, i64 1
  br label %636

636:                                              ; preds = %636, %633
  %637 = phi ptr [ %635, %633 ], [ %638, %636 ]
  %638 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %637, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %638) #7
  %639 = icmp eq ptr %638, %634
  br i1 %639, label %640, label %636

640:                                              ; preds = %636
  br label %641

641:                                              ; preds = %640, %561
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %42) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %42) #7
  %642 = load i1, ptr %43, align 1
  br i1 %642, label %643, label %651

643:                                              ; preds = %641
  %644 = load ptr, ptr %41, align 8
  %645 = icmp eq ptr %40, %644
  br i1 %645, label %650, label %646

646:                                              ; preds = %646, %643
  %647 = phi ptr [ %644, %643 ], [ %648, %646 ]
  %648 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %647, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %648) #7
  %649 = icmp eq ptr %648, %40
  br i1 %649, label %650, label %646

650:                                              ; preds = %646, %643
  br label %651

651:                                              ; preds = %650, %641
  call void @llvm.lifetime.end.p0(i64 80, ptr %40) #7
  %652 = load i1, ptr %59, align 1
  br i1 %652, label %653, label %654

653:                                              ; preds = %651
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %227) #7
  br label %654

654:                                              ; preds = %653, %651
  br label %655

655:                                              ; preds = %654, %557
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr %37) #7
  br label %834

656:                                              ; preds = %292
  %657 = landingpad { ptr, i32 }
          cleanup
  %658 = extractvalue { ptr, i32 } %657, 0
  store ptr %658, ptr %5, align 8
  %659 = extractvalue { ptr, i32 } %657, 1
  store i32 %659, ptr %6, align 4
  br label %734

660:                                              ; preds = %295
  %661 = landingpad { ptr, i32 }
          cleanup
  %662 = extractvalue { ptr, i32 } %661, 0
  store ptr %662, ptr %5, align 8
  %663 = extractvalue { ptr, i32 } %661, 1
  store i32 %663, ptr %6, align 4
  br label %720

664:                                              ; preds = %299
  %665 = landingpad { ptr, i32 }
          cleanup
  %666 = extractvalue { ptr, i32 } %665, 0
  store ptr %666, ptr %5, align 8
  %667 = extractvalue { ptr, i32 } %665, 1
  store i32 %667, ptr %6, align 4
  br label %719

668:                                              ; preds = %305
  %669 = landingpad { ptr, i32 }
          cleanup
  %670 = extractvalue { ptr, i32 } %669, 0
  store ptr %670, ptr %5, align 8
  %671 = extractvalue { ptr, i32 } %669, 1
  store i32 %671, ptr %6, align 4
  br label %711

672:                                              ; preds = %314
  %673 = landingpad { ptr, i32 }
          cleanup
  %674 = extractvalue { ptr, i32 } %673, 0
  store ptr %674, ptr %5, align 8
  %675 = extractvalue { ptr, i32 } %673, 1
  store i32 %675, ptr %6, align 4
  br label %697

676:                                              ; preds = %318
  %677 = landingpad { ptr, i32 }
          cleanup
  %678 = extractvalue { ptr, i32 } %677, 0
  store ptr %678, ptr %5, align 8
  %679 = extractvalue { ptr, i32 } %677, 1
  store i32 %679, ptr %6, align 4
  br label %696

680:                                              ; preds = %324
  %681 = landingpad { ptr, i32 }
          cleanup
  %682 = extractvalue { ptr, i32 } %681, 0
  store ptr %682, ptr %5, align 8
  %683 = extractvalue { ptr, i32 } %681, 1
  store i32 %683, ptr %6, align 4
  br label %688

684:                                              ; preds = %333
  %685 = landingpad { ptr, i32 }
          cleanup
  %686 = extractvalue { ptr, i32 } %685, 0
  store ptr %686, ptr %5, align 8
  %687 = extractvalue { ptr, i32 } %685, 1
  store i32 %687, ptr %6, align 4
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %60) #7
  br label %688

688:                                              ; preds = %684, %680
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %75) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %75) #7
  %689 = getelementptr inbounds [2 x %"struct.ptne::ArcProperties"], ptr %70, i32 0, i32 0
  %690 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %689, i64 2
  br label %691

691:                                              ; preds = %691, %688
  %692 = phi ptr [ %690, %688 ], [ %693, %691 ]
  %693 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %692, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %693) #7
  %694 = icmp eq ptr %693, %689
  br i1 %694, label %695, label %691

695:                                              ; preds = %691
  br label %696

696:                                              ; preds = %695, %676
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %73) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %73) #7
  br label %697

697:                                              ; preds = %696, %672
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %72) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %72) #7
  %698 = load i1, ptr %74, align 1
  br i1 %698, label %699, label %707

699:                                              ; preds = %697
  %700 = load ptr, ptr %71, align 8
  %701 = icmp eq ptr %70, %700
  br i1 %701, label %706, label %702

702:                                              ; preds = %702, %699
  %703 = phi ptr [ %700, %699 ], [ %704, %702 ]
  %704 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %703, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %704) #7
  %705 = icmp eq ptr %704, %70
  br i1 %705, label %706, label %702

706:                                              ; preds = %702, %699
  br label %707

707:                                              ; preds = %706, %697
  call void @llvm.lifetime.end.p0(i64 160, ptr %70) #7
  %708 = load i1, ptr %76, align 1
  br i1 %708, label %709, label %710

709:                                              ; preds = %707
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %296) #7
  br label %710

710:                                              ; preds = %709, %707
  br label %711

711:                                              ; preds = %710, %668
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %68) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %68) #7
  %712 = getelementptr inbounds [2 x %"struct.ptne::ArcProperties"], ptr %63, i32 0, i32 0
  %713 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %712, i64 2
  br label %714

714:                                              ; preds = %714, %711
  %715 = phi ptr [ %713, %711 ], [ %716, %714 ]
  %716 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %715, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %716) #7
  %717 = icmp eq ptr %716, %712
  br i1 %717, label %718, label %714

718:                                              ; preds = %714
  br label %719

719:                                              ; preds = %718, %664
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %66) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %66) #7
  br label %720

720:                                              ; preds = %719, %660
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %65) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %65) #7
  %721 = load i1, ptr %67, align 1
  br i1 %721, label %722, label %730

722:                                              ; preds = %720
  %723 = load ptr, ptr %64, align 8
  %724 = icmp eq ptr %63, %723
  br i1 %724, label %729, label %725

725:                                              ; preds = %725, %722
  %726 = phi ptr [ %723, %722 ], [ %727, %725 ]
  %727 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %726, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %727) #7
  %728 = icmp eq ptr %727, %63
  br i1 %728, label %729, label %725

729:                                              ; preds = %725, %722
  br label %730

730:                                              ; preds = %729, %720
  call void @llvm.lifetime.end.p0(i64 160, ptr %63) #7
  %731 = load i1, ptr %77, align 1
  br i1 %731, label %732, label %733

732:                                              ; preds = %730
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %294) #7
  br label %733

733:                                              ; preds = %732, %730
  br label %734

734:                                              ; preds = %733, %656
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %61) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %61) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr %60) #7
  br label %834

735:                                              ; preds = %352
  %736 = landingpad { ptr, i32 }
          cleanup
  %737 = extractvalue { ptr, i32 } %736, 0
  store ptr %737, ptr %5, align 8
  %738 = extractvalue { ptr, i32 } %736, 1
  store i32 %738, ptr %6, align 4
  br label %833

739:                                              ; preds = %355
  %740 = landingpad { ptr, i32 }
          cleanup
  %741 = extractvalue { ptr, i32 } %740, 0
  store ptr %741, ptr %5, align 8
  %742 = extractvalue { ptr, i32 } %740, 1
  store i32 %742, ptr %6, align 4
  br label %819

743:                                              ; preds = %359
  %744 = landingpad { ptr, i32 }
          cleanup
  %745 = extractvalue { ptr, i32 } %744, 0
  store ptr %745, ptr %5, align 8
  %746 = extractvalue { ptr, i32 } %744, 1
  store i32 %746, ptr %6, align 4
  br label %811

747:                                              ; preds = %368
  %748 = landingpad { ptr, i32 }
          cleanup
  %749 = extractvalue { ptr, i32 } %748, 0
  store ptr %749, ptr %5, align 8
  %750 = extractvalue { ptr, i32 } %748, 1
  store i32 %750, ptr %6, align 4
  br label %797

751:                                              ; preds = %372
  %752 = landingpad { ptr, i32 }
          cleanup
  %753 = extractvalue { ptr, i32 } %752, 0
  store ptr %753, ptr %5, align 8
  %754 = extractvalue { ptr, i32 } %752, 1
  store i32 %754, ptr %6, align 4
  br label %789

755:                                              ; preds = %381
  %756 = landingpad { ptr, i32 }
          cleanup
  %757 = extractvalue { ptr, i32 } %756, 0
  store ptr %757, ptr %5, align 8
  %758 = extractvalue { ptr, i32 } %756, 1
  store i32 %758, ptr %6, align 4
  br label %775

759:                                              ; preds = %385
  %760 = landingpad { ptr, i32 }
          cleanup
  %761 = extractvalue { ptr, i32 } %760, 0
  store ptr %761, ptr %5, align 8
  %762 = extractvalue { ptr, i32 } %760, 1
  store i32 %762, ptr %6, align 4
  br label %767

763:                                              ; preds = %394
  %764 = landingpad { ptr, i32 }
          cleanup
  %765 = extractvalue { ptr, i32 } %764, 0
  store ptr %765, ptr %5, align 8
  %766 = extractvalue { ptr, i32 } %764, 1
  store i32 %766, ptr %6, align 4
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %78) #7
  br label %767

767:                                              ; preds = %763, %759
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %97) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %97) #7
  %768 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %93, i32 0, i32 0
  %769 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %768, i64 1
  br label %770

770:                                              ; preds = %770, %767
  %771 = phi ptr [ %769, %767 ], [ %772, %770 ]
  %772 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %771, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %772) #7
  %773 = icmp eq ptr %772, %768
  br i1 %773, label %774, label %770

774:                                              ; preds = %770
  br label %775

775:                                              ; preds = %774, %755
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %95) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %95) #7
  %776 = load i1, ptr %96, align 1
  br i1 %776, label %777, label %785

777:                                              ; preds = %775
  %778 = load ptr, ptr %94, align 8
  %779 = icmp eq ptr %93, %778
  br i1 %779, label %784, label %780

780:                                              ; preds = %780, %777
  %781 = phi ptr [ %778, %777 ], [ %782, %780 ]
  %782 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %781, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %782) #7
  %783 = icmp eq ptr %782, %93
  br i1 %783, label %784, label %780

784:                                              ; preds = %780, %777
  br label %785

785:                                              ; preds = %784, %775
  call void @llvm.lifetime.end.p0(i64 80, ptr %93) #7
  %786 = load i1, ptr %98, align 1
  br i1 %786, label %787, label %788

787:                                              ; preds = %785
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %369) #7
  br label %788

788:                                              ; preds = %787, %785
  br label %789

789:                                              ; preds = %788, %751
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %91) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %91) #7
  %790 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %87, i32 0, i32 0
  %791 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %790, i64 1
  br label %792

792:                                              ; preds = %792, %789
  %793 = phi ptr [ %791, %789 ], [ %794, %792 ]
  %794 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %793, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %794) #7
  %795 = icmp eq ptr %794, %790
  br i1 %795, label %796, label %792

796:                                              ; preds = %792
  br label %797

797:                                              ; preds = %796, %747
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %89) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %89) #7
  %798 = load i1, ptr %90, align 1
  br i1 %798, label %799, label %807

799:                                              ; preds = %797
  %800 = load ptr, ptr %88, align 8
  %801 = icmp eq ptr %87, %800
  br i1 %801, label %806, label %802

802:                                              ; preds = %802, %799
  %803 = phi ptr [ %800, %799 ], [ %804, %802 ]
  %804 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %803, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %804) #7
  %805 = icmp eq ptr %804, %87
  br i1 %805, label %806, label %802

806:                                              ; preds = %802, %799
  br label %807

807:                                              ; preds = %806, %797
  call void @llvm.lifetime.end.p0(i64 80, ptr %87) #7
  %808 = load i1, ptr %99, align 1
  br i1 %808, label %809, label %810

809:                                              ; preds = %807
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %356) #7
  br label %810

810:                                              ; preds = %809, %807
  br label %811

811:                                              ; preds = %810, %743
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %85) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %85) #7
  %812 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %81, i32 0, i32 0
  %813 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %812, i64 1
  br label %814

814:                                              ; preds = %814, %811
  %815 = phi ptr [ %813, %811 ], [ %816, %814 ]
  %816 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %815, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %816) #7
  %817 = icmp eq ptr %816, %812
  br i1 %817, label %818, label %814

818:                                              ; preds = %814
  br label %819

819:                                              ; preds = %818, %739
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %83) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %83) #7
  %820 = load i1, ptr %84, align 1
  br i1 %820, label %821, label %829

821:                                              ; preds = %819
  %822 = load ptr, ptr %82, align 8
  %823 = icmp eq ptr %81, %822
  br i1 %823, label %828, label %824

824:                                              ; preds = %824, %821
  %825 = phi ptr [ %822, %821 ], [ %826, %824 ]
  %826 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %825, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %826) #7
  %827 = icmp eq ptr %826, %81
  br i1 %827, label %828, label %824

828:                                              ; preds = %824, %821
  br label %829

829:                                              ; preds = %828, %819
  call void @llvm.lifetime.end.p0(i64 80, ptr %81) #7
  %830 = load i1, ptr %100, align 1
  br i1 %830, label %831, label %832

831:                                              ; preds = %829
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %354) #7
  br label %832

832:                                              ; preds = %831, %829
  br label %833

833:                                              ; preds = %832, %735
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %79) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %79) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr %78) #7
  br label %834

834:                                              ; preds = %833, %734, %655, %556, %477, %468, %459, %450, %441, %432
  %835 = getelementptr inbounds i8, ptr %101, i64 8
  call void @_ZN4ptne10PTN_EngineD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %835) #7
  br label %836

836:                                              ; preds = %834, %420
  call void @_ZN19IDispatcherPetriNetD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %101) #7
  br label %837

837:                                              ; preds = %836
  %838 = load ptr, ptr %5, align 8
  %839 = load i32, ptr %6, align 4
  %840 = insertvalue { ptr, i32 } poison, ptr %838, 0
  %841 = insertvalue { ptr, i32 } %840, i32 %839, 1
  resume { ptr, i32 } %841
}

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

declare void @_ZN4ptne10PTN_EngineC2ENS0_21ACTIONS_THREAD_OPTIONE(ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) unnamed_addr #2

declare i32 @__gxx_personality_v0(...)

declare void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(176)) #2

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

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

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

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

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

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

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

declare void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(160)) #2

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

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

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

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

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

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

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

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

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

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

; Function Attrs: nounwind
declare void @_ZN4ptne10PTN_EngineD2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #6

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 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 = { 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 #2 = { "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 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #6 = { 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 #7 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"_ZTSN4ptne10PTN_Engine21ACTIONS_THREAD_OPTIONE", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"vtable pointer", !8, i64 0}
!13 = !{!14, !17, i64 32}
!14 = !{!"_ZTSN4ptne15PlacePropertiesE", !15, i64 0, !17, i64 32, !15, i64 40, !15, i64 72, !18, i64 104, !18, i64 136, !20, i64 168}
!15 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !16, i64 0, !17, i64 8, !7, i64 16}
!16 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !6, i64 0}
!17 = !{!"long", !7, i64 0}
!18 = !{!"_ZTSSt8functionIFvvEE", !19, i64 0, !6, i64 24}
!19 = !{!"_ZTSSt14_Function_base", !7, i64 0, !6, i64 16}
!20 = !{!"bool", !7, i64 0}
!21 = !{!14, !20, i64 168}
!22 = !{!23, !17, i64 0}
!23 = !{!"_ZTSN4ptne13ArcPropertiesE", !17, i64 0, !15, i64 8, !15, i64 40, !24, i64 72}
!24 = !{!"_ZTSN4ptne13ArcProperties4TypeE", !7, i64 0}
!25 = !{!23, !24, i64 72}
!26 = !{!27, !6, i64 0}
!27 = !{!"_ZTSSt16initializer_listIN4ptne13ArcPropertiesEE", !6, i64 0, !17, i64 8}
!28 = !{!27, !17, i64 8}
!29 = !{!30, !20, i64 152}
!30 = !{!"_ZTSN4ptne20TransitionPropertiesE", !15, i64 0, !31, i64 32, !31, i64 56, !31, i64 80, !35, i64 104, !39, i64 128, !20, i64 152}
!31 = !{!"_ZTSSt6vectorIN4ptne13ArcPropertiesESaIS1_EE", !32, i64 0}
!32 = !{!"_ZTSSt12_Vector_baseIN4ptne13ArcPropertiesESaIS1_EE", !33, i64 0}
!33 = !{!"_ZTSNSt12_Vector_baseIN4ptne13ArcPropertiesESaIS1_EE12_Vector_implE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseIN4ptne13ArcPropertiesESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!35 = !{!"_ZTSSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !36, i64 0}
!36 = !{!"_ZTSSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !37, i64 0}
!37 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE12_Vector_implE", !38, i64 0}
!38 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!39 = !{!"_ZTSSt6vectorISt8functionIFbvEESaIS2_EE", !40, i64 0}
!40 = !{!"_ZTSSt12_Vector_baseISt8functionIFbvEESaIS2_EE", !41, i64 0}
!41 = !{!"_ZTSNSt12_Vector_baseISt8functionIFbvEESaIS2_EE12_Vector_implE", !42, i64 0}
!42 = !{!"_ZTSNSt12_Vector_baseISt8functionIFbvEESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}


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

%"struct.ptne::PlaceProperties" = type <{ %"class.std::__cxx11::basic_string", i64, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::function", %"class.std::function", i8, [7 x i8] }>
%"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.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%"class.std::allocator" = type { i8 }
%"struct.ptne::TransitionProperties" = type <{ %"class.std::__cxx11::basic_string", %"class.std::vector", %"class.std::vector", %"class.std::vector", %"class.std::vector.5", %"class.std::vector.10", i8, [7 x i8] }>
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<ptne::ArcProperties, std::allocator<ptne::ArcProperties>>::_Vector_impl" }
%"struct.std::_Vector_base<ptne::ArcProperties, std::allocator<ptne::ArcProperties>>::_Vector_impl" = type { %"struct.std::_Vector_base<ptne::ArcProperties, std::allocator<ptne::ArcProperties>>::_Vector_impl_data" }
%"struct.std::_Vector_base<ptne::ArcProperties, std::allocator<ptne::ArcProperties>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.5" = type { %"struct.std::_Vector_base.6" }
%"struct.std::_Vector_base.6" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.10" = type { %"struct.std::_Vector_base.11" }
%"struct.std::_Vector_base.11" = type { %"struct.std::_Vector_base<std::function<bool ()>, std::allocator<std::function<bool ()>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::function<bool ()>, std::allocator<std::function<bool ()>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::function<bool ()>, std::allocator<std::function<bool ()>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::function<bool ()>, std::allocator<std::function<bool ()>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.ptne::ArcProperties" = type <{ i64, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, [4 x i8] }>
%"class.std::allocator.2" = type { i8 }

@_ZTV17InhibitedPetriNet = external dso_local unnamed_addr constant { [8 x ptr], [4 x ptr] }, align 8
@.str = external hidden unnamed_addr constant [17 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [3 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN17InhibitedPetriNetC2EN4ptne10PTN_Engine21ACTIONS_THREAD_OPTIONE(ptr noundef nonnull align 8 dereferenceable(24) %0, i32 noundef %1) unnamed_addr #0 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca %"struct.ptne::PlaceProperties", align 8
  %4 = alloca %"class.std::allocator", align 1
  %5 = alloca %"struct.ptne::PlaceProperties", align 8
  %6 = alloca %"class.std::allocator", align 1
  %7 = alloca %"struct.ptne::PlaceProperties", align 8
  %8 = alloca %"class.std::allocator", align 1
  %9 = alloca %"struct.ptne::PlaceProperties", align 8
  %10 = alloca %"class.std::allocator", align 1
  %11 = alloca %"struct.ptne::PlaceProperties", align 8
  %12 = alloca %"class.std::allocator", align 1
  %13 = alloca %"struct.ptne::PlaceProperties", align 8
  %14 = alloca %"class.std::allocator", align 1
  %15 = alloca %"struct.ptne::TransitionProperties", align 8
  %16 = alloca %"class.std::allocator", align 1
  %17 = alloca [3 x %"struct.ptne::ArcProperties"], align 8
  %18 = alloca %"class.std::allocator", align 1
  %19 = alloca %"class.std::allocator", align 1
  %20 = alloca %"class.std::allocator", align 1
  %21 = alloca %"class.std::allocator.2", align 1
  %22 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %23 = alloca %"class.std::allocator", align 1
  %24 = alloca %"class.std::allocator.2", align 1
  %25 = alloca %"struct.ptne::TransitionProperties", align 8
  %26 = alloca %"class.std::allocator", align 1
  %27 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %28 = alloca %"class.std::allocator", align 1
  %29 = alloca %"class.std::allocator.2", align 1
  %30 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %31 = alloca %"class.std::allocator", align 1
  %32 = alloca %"class.std::allocator.2", align 1
  %33 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %34 = alloca %"class.std::allocator", align 1
  %35 = alloca %"class.std::allocator.2", align 1
  %36 = alloca %"struct.ptne::TransitionProperties", align 8
  %37 = alloca %"class.std::allocator", align 1
  %38 = alloca [2 x %"struct.ptne::ArcProperties"], align 8
  %39 = alloca %"class.std::allocator", align 1
  %40 = alloca %"class.std::allocator", align 1
  %41 = alloca %"class.std::allocator.2", align 1
  %42 = alloca [2 x %"struct.ptne::ArcProperties"], align 8
  %43 = alloca %"class.std::allocator", align 1
  %44 = alloca %"class.std::allocator", align 1
  %45 = alloca %"class.std::allocator.2", align 1
  %46 = alloca %"struct.ptne::TransitionProperties", align 8
  %47 = alloca %"class.std::allocator", align 1
  %48 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %49 = alloca %"class.std::allocator", align 1
  %50 = alloca %"class.std::allocator.2", align 1
  %51 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %52 = alloca %"class.std::allocator", align 1
  %53 = alloca %"class.std::allocator.2", align 1
  %54 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %55 = alloca %"class.std::allocator", align 1
  %56 = alloca %"class.std::allocator.2", align 1
  tail call void @_ZN19IDispatcherPetriNetC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %0) #7
  %57 = getelementptr inbounds i8, ptr %0, i64 8
  invoke void @_ZN4ptne10PTN_EngineC2ENS0_21ACTIONS_THREAD_OPTIONE(ptr noundef nonnull align 8 dereferenceable(16) %57, i32 noundef %1)
          to label %58 unwind label %213

58:                                               ; preds = %2
  store ptr getelementptr inbounds inrange(-16, 48) (i8, ptr @_ZTV17InhibitedPetriNet, i64 16), ptr %0, align 8, !tbaa !5
  store ptr getelementptr inbounds inrange(-16, 16) (i8, ptr @_ZTV17InhibitedPetriNet, i64 80), ptr %57, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 176, ptr nonnull %3) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %4) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef nonnull @.str, ptr noundef nonnull align 1 dereferenceable(1) %4)
          to label %59 unwind label %215

59:                                               ; preds = %58
  %60 = getelementptr inbounds i8, ptr %3, i64 32
  store i64 0, ptr %60, align 8, !tbaa !8
  %61 = getelementptr inbounds i8, ptr %3, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %61) #7
  %62 = getelementptr inbounds i8, ptr %3, i64 72
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %62) #7
  %63 = getelementptr inbounds i8, ptr %3, i64 104
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %63, ptr null) #7
  %64 = getelementptr inbounds i8, ptr %3, i64 136
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %64, ptr null) #7
  %65 = getelementptr inbounds i8, ptr %3, i64 168
  store i8 1, ptr %65, align 8, !tbaa !18
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull align 8 dereferenceable(176) %3)
          to label %66 unwind label %217

66:                                               ; preds = %59
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %3) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %4) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %3) #7
  call void @llvm.lifetime.start.p0(i64 176, ptr nonnull %5) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %6) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %6) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef nonnull @.str.1, ptr noundef nonnull align 1 dereferenceable(1) %6)
          to label %67 unwind label %220

67:                                               ; preds = %66
  %68 = getelementptr inbounds i8, ptr %5, i64 32
  store i64 1, ptr %68, align 8, !tbaa !8
  %69 = getelementptr inbounds i8, ptr %5, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %69) #7
  %70 = getelementptr inbounds i8, ptr %5, i64 72
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %70) #7
  %71 = getelementptr inbounds i8, ptr %5, i64 104
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %71, ptr null) #7
  %72 = getelementptr inbounds i8, ptr %5, i64 136
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %72, ptr null) #7
  %73 = getelementptr inbounds i8, ptr %5, i64 168
  store i8 0, ptr %73, align 8, !tbaa !18
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull align 8 dereferenceable(176) %5)
          to label %74 unwind label %222

74:                                               ; preds = %67
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %5) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %6) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %6) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %5) #7
  call void @llvm.lifetime.start.p0(i64 176, ptr nonnull %7) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %8) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %8) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull @.str.2, ptr noundef nonnull align 1 dereferenceable(1) %8)
          to label %75 unwind label %225

75:                                               ; preds = %74
  %76 = getelementptr inbounds i8, ptr %7, i64 32
  store i64 1, ptr %76, align 8, !tbaa !8
  %77 = getelementptr inbounds i8, ptr %7, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %77) #7
  %78 = getelementptr inbounds i8, ptr %7, i64 72
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %78) #7
  %79 = getelementptr inbounds i8, ptr %7, i64 104
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %79, ptr null) #7
  %80 = getelementptr inbounds i8, ptr %7, i64 136
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %80, ptr null) #7
  %81 = getelementptr inbounds i8, ptr %7, i64 168
  store i8 0, ptr %81, align 8, !tbaa !18
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull align 8 dereferenceable(176) %7)
          to label %82 unwind label %227

82:                                               ; preds = %75
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %7) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %8) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %8) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %7) #7
  call void @llvm.lifetime.start.p0(i64 176, ptr nonnull %9) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %10) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %10) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull @.str.3, ptr noundef nonnull align 1 dereferenceable(1) %10)
          to label %83 unwind label %230

83:                                               ; preds = %82
  %84 = getelementptr inbounds i8, ptr %9, i64 32
  store i64 1, ptr %84, align 8, !tbaa !8
  %85 = getelementptr inbounds i8, ptr %9, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %85) #7
  %86 = getelementptr inbounds i8, ptr %9, i64 72
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %86) #7
  %87 = getelementptr inbounds i8, ptr %9, i64 104
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %87, ptr null) #7
  %88 = getelementptr inbounds i8, ptr %9, i64 136
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %88, ptr null) #7
  %89 = getelementptr inbounds i8, ptr %9, i64 168
  store i8 0, ptr %89, align 8, !tbaa !18
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull align 8 dereferenceable(176) %9)
          to label %90 unwind label %232

90:                                               ; preds = %83
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %9) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %10) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %10) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %9) #7
  call void @llvm.lifetime.start.p0(i64 176, ptr nonnull %11) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %12) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %12) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef nonnull @.str.4, ptr noundef nonnull align 1 dereferenceable(1) %12)
          to label %91 unwind label %235

91:                                               ; preds = %90
  %92 = getelementptr inbounds i8, ptr %11, i64 32
  store i64 0, ptr %92, align 8, !tbaa !8
  %93 = getelementptr inbounds i8, ptr %11, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %93) #7
  %94 = getelementptr inbounds i8, ptr %11, i64 72
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %94) #7
  %95 = getelementptr inbounds i8, ptr %11, i64 104
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %95, ptr null) #7
  %96 = getelementptr inbounds i8, ptr %11, i64 136
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %96, ptr null) #7
  %97 = getelementptr inbounds i8, ptr %11, i64 168
  store i8 0, ptr %97, align 8, !tbaa !18
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull align 8 dereferenceable(176) %11)
          to label %98 unwind label %237

98:                                               ; preds = %91
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %11) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %12) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %12) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %11) #7
  call void @llvm.lifetime.start.p0(i64 176, ptr nonnull %13) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %14) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %13, ptr noundef nonnull @.str.5, ptr noundef nonnull align 1 dereferenceable(1) %14)
          to label %99 unwind label %240

99:                                               ; preds = %98
  %100 = getelementptr inbounds i8, ptr %13, i64 32
  store i64 0, ptr %100, align 8, !tbaa !8
  %101 = getelementptr inbounds i8, ptr %13, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %101) #7
  %102 = getelementptr inbounds i8, ptr %13, i64 72
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %102) #7
  %103 = getelementptr inbounds i8, ptr %13, i64 104
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %103, ptr null) #7
  %104 = getelementptr inbounds i8, ptr %13, i64 136
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %104, ptr null) #7
  %105 = getelementptr inbounds i8, ptr %13, i64 168
  store i8 0, ptr %105, align 8, !tbaa !18
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull align 8 dereferenceable(176) %13)
          to label %106 unwind label %242

106:                                              ; preds = %99
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %13) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %14) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %13) #7
  call void @llvm.lifetime.start.p0(i64 160, ptr nonnull %15) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %16) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %15, ptr noundef nonnull @.str.6, ptr noundef nonnull align 1 dereferenceable(1) %16)
          to label %107 unwind label %245

107:                                              ; preds = %106
  %108 = getelementptr inbounds i8, ptr %15, i64 32
  call void @llvm.lifetime.start.p0(i64 240, ptr nonnull %17) #7
  store i64 1, ptr %17, align 8, !tbaa !19
  %109 = getelementptr inbounds i8, ptr %17, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %18) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %18) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %109, ptr noundef nonnull @.str, ptr noundef nonnull align 1 dereferenceable(1) %18)
          to label %110 unwind label %.thread241

110:                                              ; preds = %107
  %111 = getelementptr inbounds i8, ptr %17, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %111) #7
  %112 = getelementptr inbounds i8, ptr %17, i64 72
  store i32 0, ptr %112, align 8, !tbaa !22
  %113 = getelementptr inbounds i8, ptr %17, i64 80
  store i64 1, ptr %113, align 8, !tbaa !19
  %114 = getelementptr inbounds i8, ptr %17, i64 88
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %19) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %19) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %114, ptr noundef nonnull @.str.1, ptr noundef nonnull align 1 dereferenceable(1) %19)
          to label %115 unwind label %248

115:                                              ; preds = %110
  %116 = getelementptr inbounds i8, ptr %17, i64 120
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %116) #7
  %117 = getelementptr inbounds i8, ptr %17, i64 152
  store i32 0, ptr %117, align 8, !tbaa !22
  %118 = getelementptr inbounds i8, ptr %17, i64 160
  store i64 1, ptr %118, align 8, !tbaa !19
  %119 = getelementptr inbounds i8, ptr %17, i64 168
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %20) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %119, ptr noundef nonnull @.str.3, ptr noundef nonnull align 1 dereferenceable(1) %20)
          to label %120 unwind label %250

120:                                              ; preds = %115
  %121 = getelementptr inbounds i8, ptr %17, i64 200
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %121) #7
  %122 = getelementptr inbounds i8, ptr %17, i64 232
  store i32 0, ptr %122, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %21) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %21) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %108, ptr nonnull %17, i64 3, ptr noundef nonnull align 1 dereferenceable(1) %21)
          to label %123 unwind label %252

123:                                              ; preds = %120
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %22) #7
  store i64 1, ptr %22, align 8, !tbaa !19
  %124 = getelementptr inbounds i8, ptr %22, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %23) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %23) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %124, ptr noundef nonnull @.str.4, ptr noundef nonnull align 1 dereferenceable(1) %23)
          to label %125 unwind label %.thread

125:                                              ; preds = %123
  %126 = getelementptr inbounds i8, ptr %15, i64 56
  %127 = getelementptr inbounds i8, ptr %22, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %127) #7
  %128 = getelementptr inbounds i8, ptr %22, i64 72
  store i32 0, ptr %128, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %24) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %24) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %126, ptr nonnull %22, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %24)
          to label %129 unwind label %255

129:                                              ; preds = %125
  %130 = getelementptr inbounds i8, ptr %15, i64 80
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %130, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %130) #7
  %131 = getelementptr inbounds i8, ptr %15, i64 104
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %131, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %131) #7
  %132 = getelementptr inbounds i8, ptr %15, i64 128
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %132, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %132) #7
  %133 = getelementptr inbounds i8, ptr %15, i64 152
  store i8 0, ptr %133, align 8, !tbaa !23
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull align 8 dereferenceable(160) %15)
          to label %134 unwind label %257

134:                                              ; preds = %129
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %15) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %24) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %24) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %22) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %23) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %23) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %22) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %21) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %21) #7
  %135 = getelementptr inbounds i8, ptr %17, i64 160
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %135) #7
  %136 = getelementptr inbounds i8, ptr %17, i64 80
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %136) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %17) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %20) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %19) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %19) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %18) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %18) #7
  call void @llvm.lifetime.end.p0(i64 240, ptr nonnull %17) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %16) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %15) #7
  call void @llvm.lifetime.start.p0(i64 160, ptr nonnull %25) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %26) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %26) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %25, ptr noundef nonnull @.str.7, ptr noundef nonnull align 1 dereferenceable(1) %26)
          to label %137 unwind label %270

137:                                              ; preds = %134
  %138 = getelementptr inbounds i8, ptr %25, i64 32
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %27) #7
  store i64 1, ptr %27, align 8, !tbaa !19
  %139 = getelementptr inbounds i8, ptr %27, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %28) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %28) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %139, ptr noundef nonnull @.str.2, ptr noundef nonnull align 1 dereferenceable(1) %28)
          to label %140 unwind label %.thread255

140:                                              ; preds = %137
  %141 = getelementptr inbounds i8, ptr %27, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %141) #7
  %142 = getelementptr inbounds i8, ptr %27, i64 72
  store i32 0, ptr %142, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %29) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %138, ptr nonnull %27, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %29)
          to label %143 unwind label %273

143:                                              ; preds = %140
  %144 = getelementptr inbounds i8, ptr %25, i64 56
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %30) #7
  store i64 1, ptr %30, align 8, !tbaa !19
  %145 = getelementptr inbounds i8, ptr %30, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %31) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %31) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %145, ptr noundef nonnull @.str.5, ptr noundef nonnull align 1 dereferenceable(1) %31)
          to label %146 unwind label %.thread250

146:                                              ; preds = %143
  %147 = getelementptr inbounds i8, ptr %30, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %147) #7
  %148 = getelementptr inbounds i8, ptr %30, i64 72
  store i32 0, ptr %148, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %32) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %32) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %144, ptr nonnull %30, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %32)
          to label %149 unwind label %276

149:                                              ; preds = %146
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %33) #7
  store i64 1, ptr %33, align 8, !tbaa !19
  %150 = getelementptr inbounds i8, ptr %33, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %34) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %150, ptr noundef nonnull @.str.3, ptr noundef nonnull align 1 dereferenceable(1) %34)
          to label %151 unwind label %.thread245

151:                                              ; preds = %149
  %152 = getelementptr inbounds i8, ptr %25, i64 80
  %153 = getelementptr inbounds i8, ptr %33, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %153) #7
  %154 = getelementptr inbounds i8, ptr %33, i64 72
  store i32 0, ptr %154, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %35) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %35) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %152, ptr nonnull %33, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %35)
          to label %155 unwind label %279

155:                                              ; preds = %151
  %156 = getelementptr inbounds i8, ptr %25, i64 104
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %156, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %156) #7
  %157 = getelementptr inbounds i8, ptr %25, i64 128
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %157, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %157) #7
  %158 = getelementptr inbounds i8, ptr %25, i64 152
  store i8 0, ptr %158, align 8, !tbaa !23
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull align 8 dereferenceable(160) %25)
          to label %159 unwind label %281

159:                                              ; preds = %155
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %25) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %35) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %35) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %33) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %34) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %33) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %32) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %32) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %30) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %31) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %31) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %30) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %29) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %27) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %28) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %28) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %27) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %26) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %26) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %25) #7
  call void @llvm.lifetime.start.p0(i64 160, ptr nonnull %36) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %37) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %37) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %36, ptr noundef nonnull @.str.8, ptr noundef nonnull align 1 dereferenceable(1) %37)
          to label %160 unwind label %290

160:                                              ; preds = %159
  %161 = getelementptr inbounds i8, ptr %36, i64 32
  call void @llvm.lifetime.start.p0(i64 160, ptr nonnull %38) #7
  store i64 1, ptr %38, align 8, !tbaa !19
  %162 = getelementptr inbounds i8, ptr %38, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %39) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %39) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %162, ptr noundef nonnull @.str, ptr noundef nonnull align 1 dereferenceable(1) %39)
          to label %163 unwind label %.thread280

163:                                              ; preds = %160
  %164 = getelementptr inbounds i8, ptr %38, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %164) #7
  %165 = getelementptr inbounds i8, ptr %38, i64 72
  store i32 0, ptr %165, align 8, !tbaa !22
  %166 = getelementptr inbounds i8, ptr %38, i64 80
  store i64 1, ptr %166, align 8, !tbaa !19
  %167 = getelementptr inbounds i8, ptr %38, i64 88
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %40) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %40) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %167, ptr noundef nonnull @.str.4, ptr noundef nonnull align 1 dereferenceable(1) %40)
          to label %168 unwind label %293

168:                                              ; preds = %163
  %169 = getelementptr inbounds i8, ptr %38, i64 120
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %169) #7
  %170 = getelementptr inbounds i8, ptr %38, i64 152
  store i32 0, ptr %170, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %41) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %41) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %161, ptr nonnull %38, i64 2, ptr noundef nonnull align 1 dereferenceable(1) %41)
          to label %171 unwind label %295

171:                                              ; preds = %168
  %172 = getelementptr inbounds i8, ptr %36, i64 56
  call void @llvm.lifetime.start.p0(i64 160, ptr nonnull %42) #7
  store i64 1, ptr %42, align 8, !tbaa !19
  %173 = getelementptr inbounds i8, ptr %42, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %43) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %43) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %173, ptr noundef nonnull @.str.1, ptr noundef nonnull align 1 dereferenceable(1) %43)
          to label %174 unwind label %.thread267

174:                                              ; preds = %171
  %175 = getelementptr inbounds i8, ptr %42, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %175) #7
  %176 = getelementptr inbounds i8, ptr %42, i64 72
  store i32 0, ptr %176, align 8, !tbaa !22
  %177 = getelementptr inbounds i8, ptr %42, i64 80
  store i64 1, ptr %177, align 8, !tbaa !19
  %178 = getelementptr inbounds i8, ptr %42, i64 88
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %44) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %44) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %178, ptr noundef nonnull @.str.3, ptr noundef nonnull align 1 dereferenceable(1) %44)
          to label %179 unwind label %298

179:                                              ; preds = %174
  %180 = getelementptr inbounds i8, ptr %42, i64 120
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %180) #7
  %181 = getelementptr inbounds i8, ptr %42, i64 152
  store i32 0, ptr %181, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %45) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %45) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %172, ptr nonnull %42, i64 2, ptr noundef nonnull align 1 dereferenceable(1) %45)
          to label %182 unwind label %300

182:                                              ; preds = %179
  %183 = getelementptr inbounds i8, ptr %36, i64 80
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %183, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %183) #7
  %184 = getelementptr inbounds i8, ptr %36, i64 104
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %184, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %184) #7
  %185 = getelementptr inbounds i8, ptr %36, i64 128
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %185, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %185) #7
  %186 = getelementptr inbounds i8, ptr %36, i64 152
  store i8 0, ptr %186, align 8, !tbaa !23
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull align 8 dereferenceable(160) %36)
          to label %187 unwind label %302

187:                                              ; preds = %182
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %36) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %45) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %45) #7
  %188 = getelementptr inbounds i8, ptr %42, i64 80
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %188) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %42) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %44) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %44) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %43) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %43) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %42) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %41) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %41) #7
  %189 = getelementptr inbounds i8, ptr %38, i64 80
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %189) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %38) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %40) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %40) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %39) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %39) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %38) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %37) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %37) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %36) #7
  call void @llvm.lifetime.start.p0(i64 160, ptr nonnull %46) #7
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %47) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %47) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %46, ptr noundef nonnull @.str.9, ptr noundef nonnull align 1 dereferenceable(1) %47)
          to label %190 unwind label %311

190:                                              ; preds = %187
  %191 = getelementptr inbounds i8, ptr %46, i64 32
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %48) #7
  store i64 1, ptr %48, align 8, !tbaa !19
  %192 = getelementptr inbounds i8, ptr %48, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %49) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %49) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %192, ptr noundef nonnull @.str.5, ptr noundef nonnull align 1 dereferenceable(1) %49)
          to label %193 unwind label %.thread294

193:                                              ; preds = %190
  %194 = getelementptr inbounds i8, ptr %48, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %194) #7
  %195 = getelementptr inbounds i8, ptr %48, i64 72
  store i32 0, ptr %195, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %50) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %191, ptr nonnull %48, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %50)
          to label %196 unwind label %314

196:                                              ; preds = %193
  %197 = getelementptr inbounds i8, ptr %46, i64 56
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %51) #7
  store i64 1, ptr %51, align 8, !tbaa !19
  %198 = getelementptr inbounds i8, ptr %51, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %52) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %52) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %198, ptr noundef nonnull @.str.2, ptr noundef nonnull align 1 dereferenceable(1) %52)
          to label %199 unwind label %.thread289

199:                                              ; preds = %196
  %200 = getelementptr inbounds i8, ptr %51, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %200) #7
  %201 = getelementptr inbounds i8, ptr %51, i64 72
  store i32 0, ptr %201, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %53) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %53) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %197, ptr nonnull %51, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %53)
          to label %202 unwind label %317

202:                                              ; preds = %199
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %54) #7
  store i64 1, ptr %54, align 8, !tbaa !19
  %203 = getelementptr inbounds i8, ptr %54, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %55) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %55) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %203, ptr noundef nonnull @.str.4, ptr noundef nonnull align 1 dereferenceable(1) %55)
          to label %204 unwind label %.thread284

204:                                              ; preds = %202
  %205 = getelementptr inbounds i8, ptr %46, i64 80
  %206 = getelementptr inbounds i8, ptr %54, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %206) #7
  %207 = getelementptr inbounds i8, ptr %54, i64 72
  store i32 0, ptr %207, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %56) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %56) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %205, ptr nonnull %54, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %56)
          to label %208 unwind label %320

208:                                              ; preds = %204
  %209 = getelementptr inbounds i8, ptr %46, i64 104
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %209, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %209) #7
  %210 = getelementptr inbounds i8, ptr %46, i64 128
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %210, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %210) #7
  %211 = getelementptr inbounds i8, ptr %46, i64 152
  store i8 0, ptr %211, align 8, !tbaa !23
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %57, ptr noundef nonnull align 8 dereferenceable(160) %46)
          to label %212 unwind label %322

212:                                              ; preds = %208
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %46) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %56) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %56) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %54) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %55) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %55) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %54) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %53) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %53) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %51) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %52) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %52) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %51) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %50) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %48) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %49) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %49) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %48) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %47) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %47) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %46) #7
  ret void

213:                                              ; preds = %2
  %214 = landingpad { ptr, i32 }
          cleanup
  br label %332

215:                                              ; preds = %58
  %216 = landingpad { ptr, i32 }
          cleanup
  br label %219

217:                                              ; preds = %59
  %218 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %3) #7
  br label %219

219:                                              ; preds = %217, %215
  %.pn = phi { ptr, i32 } [ %218, %217 ], [ %216, %215 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %4) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %3) #7
  br label %331

220:                                              ; preds = %66
  %221 = landingpad { ptr, i32 }
          cleanup
  br label %224

222:                                              ; preds = %67
  %223 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %5) #7
  br label %224

224:                                              ; preds = %222, %220
  %.pn185 = phi { ptr, i32 } [ %223, %222 ], [ %221, %220 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %6) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %6) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %5) #7
  br label %331

225:                                              ; preds = %74
  %226 = landingpad { ptr, i32 }
          cleanup
  br label %229

227:                                              ; preds = %75
  %228 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %7) #7
  br label %229

229:                                              ; preds = %227, %225
  %.pn187 = phi { ptr, i32 } [ %228, %227 ], [ %226, %225 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %8) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %8) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %7) #7
  br label %331

230:                                              ; preds = %82
  %231 = landingpad { ptr, i32 }
          cleanup
  br label %234

232:                                              ; preds = %83
  %233 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %9) #7
  br label %234

234:                                              ; preds = %232, %230
  %.pn189 = phi { ptr, i32 } [ %233, %232 ], [ %231, %230 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %10) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %10) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %9) #7
  br label %331

235:                                              ; preds = %90
  %236 = landingpad { ptr, i32 }
          cleanup
  br label %239

237:                                              ; preds = %91
  %238 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %11) #7
  br label %239

239:                                              ; preds = %237, %235
  %.pn191 = phi { ptr, i32 } [ %238, %237 ], [ %236, %235 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %12) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %12) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %11) #7
  br label %331

240:                                              ; preds = %98
  %241 = landingpad { ptr, i32 }
          cleanup
  br label %244

242:                                              ; preds = %99
  %243 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %13) #7
  br label %244

244:                                              ; preds = %242, %240
  %.pn193 = phi { ptr, i32 } [ %243, %242 ], [ %241, %240 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %14) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %14) #7
  call void @llvm.lifetime.end.p0(i64 176, ptr nonnull %13) #7
  br label %331

245:                                              ; preds = %106
  %246 = landingpad { ptr, i32 }
          cleanup
  br label %269

.thread241:                                       ; preds = %107
  %247 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %18) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %18) #7
  call void @llvm.lifetime.end.p0(i64 240, ptr nonnull %17) #7
  br label %268

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

250:                                              ; preds = %115
  %251 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit304

252:                                              ; preds = %120
  %253 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit304.loopexit

.thread:                                          ; preds = %123
  %254 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %23) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %23) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %22) #7
  br label %260

255:                                              ; preds = %125
  %256 = landingpad { ptr, i32 }
          cleanup
  br label %259

257:                                              ; preds = %129
  %258 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %15) #7
  br label %259

259:                                              ; preds = %257, %255
  %.0135 = phi i1 [ false, %257 ], [ true, %255 ]
  %.pn195 = phi { ptr, i32 } [ %258, %257 ], [ %256, %255 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %24) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %24) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %22) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %23) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %23) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %22) #7
  br i1 %.0135, label %260, label %.loopexit304.loopexit

260:                                              ; preds = %.thread, %259
  %.pn195.pn232 = phi { ptr, i32 } [ %254, %.thread ], [ %.pn195, %259 ]
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %108) #7
  br label %.loopexit304.loopexit

.loopexit304.loopexit:                            ; preds = %259, %260, %252
  %.2140 = phi i1 [ true, %260 ], [ false, %259 ], [ true, %252 ]
  %.pn195.pn.pn = phi { ptr, i32 } [ %.pn195.pn232, %260 ], [ %.pn195, %259 ], [ %253, %252 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %21) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %21) #7
  %261 = getelementptr inbounds i8, ptr %17, i64 160
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %261) #7
  %262 = getelementptr inbounds i8, ptr %17, i64 80
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %262) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %17) #7
  br label %.loopexit304

.loopexit304:                                     ; preds = %.loopexit304.loopexit, %250
  %.3141 = phi i1 [ true, %250 ], [ %.2140, %.loopexit304.loopexit ]
  %263 = phi i1 [ false, %250 ], [ true, %.loopexit304.loopexit ]
  %.pn195.pn.pn.pn = phi { ptr, i32 } [ %251, %250 ], [ %.pn195.pn.pn, %.loopexit304.loopexit ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %20) #7
  br label %264

264:                                              ; preds = %248, %.loopexit304
  %.4142 = phi i1 [ %.3141, %.loopexit304 ], [ true, %248 ]
  %.1132 = phi i1 [ %263, %.loopexit304 ], [ false, %248 ]
  %.0128 = phi ptr [ %118, %.loopexit304 ], [ %113, %248 ]
  %.pn195.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn195.pn.pn.pn, %.loopexit304 ], [ %249, %248 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %19) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %19) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %18) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %18) #7
  br i1 %.1132, label %.loopexit303, label %.preheader302

.preheader302:                                    ; preds = %264, %.preheader302
  %265 = phi ptr [ %266, %.preheader302 ], [ %.0128, %264 ]
  %266 = getelementptr inbounds i8, ptr %265, i64 -80
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %266) #7
  %267 = icmp eq ptr %266, %17
  br i1 %267, label %.loopexit303, label %.preheader302

.loopexit303:                                     ; preds = %.preheader302, %264
  call void @llvm.lifetime.end.p0(i64 240, ptr nonnull %17) #7
  br i1 %.4142, label %268, label %269

268:                                              ; preds = %.thread241, %.loopexit303
  %.pn195.pn.pn.pn.pn.pn240244 = phi { ptr, i32 } [ %247, %.thread241 ], [ %.pn195.pn.pn.pn.pn, %.loopexit303 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #7
  br label %269

269:                                              ; preds = %.loopexit303, %268, %245
  %.pn195.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn195.pn.pn.pn.pn.pn240244, %268 ], [ %.pn195.pn.pn.pn.pn, %.loopexit303 ], [ %246, %245 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %16) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %15) #7
  br label %331

270:                                              ; preds = %134
  %271 = landingpad { ptr, i32 }
          cleanup
  br label %289

.thread255:                                       ; preds = %137
  %272 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %28) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %28) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %27) #7
  br label %288

273:                                              ; preds = %140
  %274 = landingpad { ptr, i32 }
          cleanup
  br label %287

.thread250:                                       ; preds = %143
  %275 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %31) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %31) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %30) #7
  br label %286

276:                                              ; preds = %146
  %277 = landingpad { ptr, i32 }
          cleanup
  br label %285

.thread245:                                       ; preds = %149
  %278 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %34) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %33) #7
  br label %284

279:                                              ; preds = %151
  %280 = landingpad { ptr, i32 }
          cleanup
  br label %283

281:                                              ; preds = %155
  %282 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %25) #7
  br label %283

283:                                              ; preds = %281, %279
  %.0159 = phi i1 [ false, %281 ], [ true, %279 ]
  %.pn203 = phi { ptr, i32 } [ %282, %281 ], [ %280, %279 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %35) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %35) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %33) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %34) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %33) #7
  br i1 %.0159, label %284, label %285

284:                                              ; preds = %.thread245, %283
  %.pn203.pn249 = phi { ptr, i32 } [ %278, %.thread245 ], [ %.pn203, %283 ]
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %144) #7
  br label %285

285:                                              ; preds = %283, %284, %276
  %.2166 = phi i1 [ true, %284 ], [ false, %283 ], [ true, %276 ]
  %.pn203.pn.pn = phi { ptr, i32 } [ %.pn203.pn249, %284 ], [ %.pn203, %283 ], [ %277, %276 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %32) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %32) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %30) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %31) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %31) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %30) #7
  br i1 %.2166, label %286, label %287

286:                                              ; preds = %.thread250, %285
  %.pn203.pn.pn.pn254 = phi { ptr, i32 } [ %275, %.thread250 ], [ %.pn203.pn.pn, %285 ]
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %138) #7
  br label %287

287:                                              ; preds = %285, %286, %273
  %.4172 = phi i1 [ true, %286 ], [ false, %285 ], [ true, %273 ]
  %.pn203.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn203.pn.pn.pn254, %286 ], [ %.pn203.pn.pn, %285 ], [ %274, %273 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %29) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %27) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %28) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %28) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %27) #7
  br i1 %.4172, label %288, label %289

288:                                              ; preds = %.thread255, %287
  %.pn203.pn.pn.pn.pn.pn258 = phi { ptr, i32 } [ %272, %.thread255 ], [ %.pn203.pn.pn.pn.pn, %287 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #7
  br label %289

289:                                              ; preds = %287, %288, %270
  %.pn203.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn203.pn.pn.pn.pn.pn258, %288 ], [ %.pn203.pn.pn.pn.pn, %287 ], [ %271, %270 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %26) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %26) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %25) #7
  br label %331

290:                                              ; preds = %159
  %291 = landingpad { ptr, i32 }
          cleanup
  br label %310

.thread280:                                       ; preds = %160
  %292 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %39) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %39) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %38) #7
  br label %309

293:                                              ; preds = %163
  %294 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit298

295:                                              ; preds = %168
  %296 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit298.loopexit

.thread267:                                       ; preds = %171
  %297 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %43) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %43) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %42) #7
  br label %306

298:                                              ; preds = %174
  %299 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit301

300:                                              ; preds = %179
  %301 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit301.loopexit

302:                                              ; preds = %182
  %303 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %36) #7
  br label %.loopexit301.loopexit

.loopexit301.loopexit:                            ; preds = %302, %300
  %.0146 = phi i1 [ false, %302 ], [ true, %300 ]
  %.pn211 = phi { ptr, i32 } [ %303, %302 ], [ %301, %300 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %45) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %45) #7
  %304 = getelementptr inbounds i8, ptr %42, i64 80
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %304) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %42) #7
  br label %.loopexit301

.loopexit301:                                     ; preds = %.loopexit301.loopexit, %298
  %305 = phi i1 [ false, %298 ], [ true, %.loopexit301.loopexit ]
  %.1147 = phi i1 [ true, %298 ], [ %.0146, %.loopexit301.loopexit ]
  %.pn211.pn = phi { ptr, i32 } [ %299, %298 ], [ %.pn211, %.loopexit301.loopexit ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %44) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %44) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %43) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %43) #7
  br i1 %305, label %.loopexit300, label %.preheader299.preheader

.preheader299.preheader:                          ; preds = %.loopexit301
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %42) #7
  br label %.loopexit300

.loopexit300:                                     ; preds = %.preheader299.preheader, %.loopexit301
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %42) #7
  br i1 %.1147, label %306, label %.loopexit298.loopexit

306:                                              ; preds = %.thread267, %.loopexit300
  %.pn211.pn.pn266270 = phi { ptr, i32 } [ %297, %.thread267 ], [ %.pn211.pn, %.loopexit300 ]
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %161) #7
  br label %.loopexit298.loopexit

.loopexit298.loopexit:                            ; preds = %.loopexit300, %306, %295
  %.3149 = phi i1 [ true, %306 ], [ false, %.loopexit300 ], [ true, %295 ]
  %.pn211.pn.pn.pn = phi { ptr, i32 } [ %.pn211.pn.pn266270, %306 ], [ %.pn211.pn, %.loopexit300 ], [ %296, %295 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %41) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %41) #7
  %307 = getelementptr inbounds i8, ptr %38, i64 80
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %307) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %38) #7
  br label %.loopexit298

.loopexit298:                                     ; preds = %.loopexit298.loopexit, %293
  %308 = phi i1 [ false, %293 ], [ true, %.loopexit298.loopexit ]
  %.4150 = phi i1 [ true, %293 ], [ %.3149, %.loopexit298.loopexit ]
  %.pn211.pn.pn.pn.pn = phi { ptr, i32 } [ %294, %293 ], [ %.pn211.pn.pn.pn, %.loopexit298.loopexit ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %40) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %40) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %39) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %39) #7
  br i1 %308, label %.loopexit, label %.preheader.preheader

.preheader.preheader:                             ; preds = %.loopexit298
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %38) #7
  br label %.loopexit

.loopexit:                                        ; preds = %.preheader.preheader, %.loopexit298
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %38) #7
  br i1 %.4150, label %309, label %310

309:                                              ; preds = %.thread280, %.loopexit
  %.pn211.pn.pn.pn.pn.pn279283 = phi { ptr, i32 } [ %292, %.thread280 ], [ %.pn211.pn.pn.pn.pn, %.loopexit ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %36) #7
  br label %310

310:                                              ; preds = %.loopexit, %309, %290
  %.pn211.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn211.pn.pn.pn.pn.pn279283, %309 ], [ %.pn211.pn.pn.pn.pn, %.loopexit ], [ %291, %290 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %37) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %37) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %36) #7
  br label %331

311:                                              ; preds = %187
  %312 = landingpad { ptr, i32 }
          cleanup
  br label %330

.thread294:                                       ; preds = %190
  %313 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %49) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %49) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %48) #7
  br label %329

314:                                              ; preds = %193
  %315 = landingpad { ptr, i32 }
          cleanup
  br label %328

.thread289:                                       ; preds = %196
  %316 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %52) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %52) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %51) #7
  br label %327

317:                                              ; preds = %199
  %318 = landingpad { ptr, i32 }
          cleanup
  br label %326

.thread284:                                       ; preds = %202
  %319 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %55) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %55) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %54) #7
  br label %325

320:                                              ; preds = %204
  %321 = landingpad { ptr, i32 }
          cleanup
  br label %324

322:                                              ; preds = %208
  %323 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %46) #7
  br label %324

324:                                              ; preds = %322, %320
  %.pn219 = phi { ptr, i32 } [ %323, %322 ], [ %321, %320 ]
  %.0 = phi i1 [ false, %322 ], [ true, %320 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %56) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %56) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %54) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %55) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %55) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %54) #7
  br i1 %.0, label %325, label %326

325:                                              ; preds = %.thread284, %324
  %.pn219.pn287 = phi { ptr, i32 } [ %319, %.thread284 ], [ %.pn219, %324 ]
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %197) #7
  br label %326

326:                                              ; preds = %324, %325, %317
  %.pn219.pn.pn = phi { ptr, i32 } [ %.pn219.pn287, %325 ], [ %.pn219, %324 ], [ %318, %317 ]
  %.2 = phi i1 [ true, %325 ], [ false, %324 ], [ true, %317 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %53) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %53) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %51) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %52) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %52) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %51) #7
  br i1 %.2, label %327, label %328

327:                                              ; preds = %.thread289, %326
  %.pn219.pn.pn.pn292 = phi { ptr, i32 } [ %316, %.thread289 ], [ %.pn219.pn.pn, %326 ]
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %191) #7
  br label %328

328:                                              ; preds = %326, %327, %314
  %.pn219.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn219.pn.pn.pn292, %327 ], [ %.pn219.pn.pn, %326 ], [ %315, %314 ]
  %.4 = phi i1 [ true, %327 ], [ false, %326 ], [ true, %314 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %50) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %48) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %49) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %49) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %48) #7
  br i1 %.4, label %329, label %330

329:                                              ; preds = %.thread294, %328
  %.pn219.pn.pn.pn.pn.pn297 = phi { ptr, i32 } [ %313, %.thread294 ], [ %.pn219.pn.pn.pn.pn, %328 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %46) #7
  br label %330

330:                                              ; preds = %328, %329, %311
  %.pn219.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn219.pn.pn.pn.pn.pn297, %329 ], [ %.pn219.pn.pn.pn.pn, %328 ], [ %312, %311 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %47) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %47) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %46) #7
  br label %331

331:                                              ; preds = %330, %310, %289, %269, %244, %239, %234, %229, %224, %219
  %.pn219.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn219.pn.pn.pn.pn.pn.pn, %330 ], [ %.pn211.pn.pn.pn.pn.pn.pn, %310 ], [ %.pn203.pn.pn.pn.pn.pn.pn, %289 ], [ %.pn195.pn.pn.pn.pn.pn.pn, %269 ], [ %.pn193, %244 ], [ %.pn191, %239 ], [ %.pn189, %234 ], [ %.pn187, %229 ], [ %.pn185, %224 ], [ %.pn, %219 ]
  call void @_ZN4ptne10PTN_EngineD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %57) #7
  br label %332

332:                                              ; preds = %331, %213
  %.pn219.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn219.pn.pn.pn.pn.pn.pn.pn, %331 ], [ %214, %213 ]
  call void @_ZN19IDispatcherPetriNetD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %0) #7
  resume { ptr, i32 } %.pn219.pn.pn.pn.pn.pn.pn.pn.pn
}

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

declare void @_ZN4ptne10PTN_EngineC2ENS0_21ACTIONS_THREAD_OPTIONE(ptr noundef nonnull align 8 dereferenceable(16), i32 noundef) unnamed_addr #2

declare i32 @__gxx_personality_v0(...)

declare void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(176)) local_unnamed_addr #2

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

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

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

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

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

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

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

declare void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(160)) local_unnamed_addr #2

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

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

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

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

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

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

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

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

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

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

; Function Attrs: nounwind
declare void @_ZN4ptne10PTN_EngineD2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #6

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 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 = { 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 #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #4 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #6 = { 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 #7 = { 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 = !{!"vtable pointer", !7, i64 0}
!7 = !{!"Simple C++ TBAA"}
!8 = !{!9, !14, i64 32}
!9 = !{!"_ZTSN4ptne15PlacePropertiesE", !10, i64 0, !14, i64 32, !10, i64 40, !10, i64 72, !15, i64 104, !15, i64 136, !17, i64 168}
!10 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !11, i64 0, !14, i64 8, !13, i64 16}
!11 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !12, i64 0}
!12 = !{!"any pointer", !13, i64 0}
!13 = !{!"omnipotent char", !7, i64 0}
!14 = !{!"long", !13, i64 0}
!15 = !{!"_ZTSSt8functionIFvvEE", !16, i64 0, !12, i64 24}
!16 = !{!"_ZTSSt14_Function_base", !13, i64 0, !12, i64 16}
!17 = !{!"bool", !13, i64 0}
!18 = !{!9, !17, i64 168}
!19 = !{!20, !14, i64 0}
!20 = !{!"_ZTSN4ptne13ArcPropertiesE", !14, i64 0, !10, i64 8, !10, i64 40, !21, i64 72}
!21 = !{!"_ZTSN4ptne13ArcProperties4TypeE", !13, i64 0}
!22 = !{!20, !21, i64 72}
!23 = !{!24, !17, i64 152}
!24 = !{!"_ZTSN4ptne20TransitionPropertiesE", !10, i64 0, !25, i64 32, !25, i64 56, !25, i64 80, !29, i64 104, !33, i64 128, !17, i64 152}
!25 = !{!"_ZTSSt6vectorIN4ptne13ArcPropertiesESaIS1_EE", !26, i64 0}
!26 = !{!"_ZTSSt12_Vector_baseIN4ptne13ArcPropertiesESaIS1_EE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseIN4ptne13ArcPropertiesESaIS1_EE12_Vector_implE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseIN4ptne13ArcPropertiesESaIS1_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!29 = !{!"_ZTSSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !30, i64 0}
!30 = !{!"_ZTSSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE12_Vector_implE", !32, i64 0}
!32 = !{!"_ZTSNSt12_Vector_baseINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}
!33 = !{!"_ZTSSt6vectorISt8functionIFbvEESaIS2_EE", !34, i64 0}
!34 = !{!"_ZTSSt12_Vector_baseISt8functionIFbvEESaIS2_EE", !35, i64 0}
!35 = !{!"_ZTSNSt12_Vector_baseISt8functionIFbvEESaIS2_EE12_Vector_implE", !36, i64 0}
!36 = !{!"_ZTSNSt12_Vector_baseISt8functionIFbvEESaIS2_EE17_Vector_impl_dataE", !12, i64 0, !12, i64 8, !12, i64 16}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LoopSimplifyPass,LoopUnrollPass,SROAPass,SimplifyCFGPass,TailCallElimPass