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

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

@_ZTV16WeightedPetriNet = 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 [12 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [9 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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16WeightedPetriNetC2EN4ptne10PTN_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::TransitionProperties", align 8
  %16 = alloca %"class.std::allocator", align 1
  %17 = alloca %"class.std::initializer_list", align 8
  %18 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %19 = alloca ptr, align 8
  %20 = alloca %"class.std::allocator", align 1
  %21 = alloca i1, align 1
  %22 = alloca %"class.std::allocator.2", align 1
  %23 = alloca %"class.std::initializer_list", align 8
  %24 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %25 = alloca ptr, align 8
  %26 = alloca %"class.std::allocator", align 1
  %27 = alloca i1, align 1
  %28 = alloca %"class.std::allocator.2", align 1
  %29 = alloca i1, align 1
  %30 = alloca i1, align 1
  %31 = alloca %"struct.ptne::TransitionProperties", align 8
  %32 = alloca %"class.std::allocator", align 1
  %33 = alloca %"class.std::initializer_list", align 8
  %34 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %35 = alloca ptr, align 8
  %36 = alloca %"class.std::allocator", align 1
  %37 = alloca i1, align 1
  %38 = alloca %"class.std::allocator.2", align 1
  %39 = alloca %"class.std::initializer_list", align 8
  %40 = alloca [2 x %"struct.ptne::ArcProperties"], align 8
  %41 = alloca ptr, align 8
  %42 = alloca %"class.std::allocator", align 1
  %43 = alloca %"class.std::allocator", align 1
  %44 = alloca i1, align 1
  %45 = alloca %"class.std::allocator.2", align 1
  %46 = alloca i1, align 1
  %47 = alloca i1, align 1
  store ptr %0, ptr %3, align 8, !tbaa !5
  store i32 %1, ptr %4, align 4, !tbaa !9
  %48 = load ptr, ptr %3, align 8
  call void @_ZN19IDispatcherPetriNetC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %48) #7
  %49 = getelementptr inbounds i8, ptr %48, i64 8
  %50 = load i32, ptr %4, align 4, !tbaa !9
  invoke void @_ZN4ptne10PTN_EngineC2ENS0_21ACTIONS_THREAD_OPTIONE(ptr noundef nonnull align 8 dereferenceable(16) %49, i32 noundef %50)
          to label %51 unwind label %195

51:                                               ; preds = %2
  store ptr getelementptr inbounds inrange(-16, 48) ({ [8 x ptr], [4 x ptr] }, ptr @_ZTV16WeightedPetriNet, i32 0, i32 0, i32 2), ptr %48, align 8, !tbaa !11
  %52 = getelementptr inbounds i8, ptr %48, i64 8
  store ptr getelementptr inbounds inrange(-16, 16) ({ [8 x ptr], [4 x ptr] }, ptr @_ZTV16WeightedPetriNet, i32 0, i32 1, i32 2), ptr %52, align 8, !tbaa !11
  %53 = getelementptr inbounds i8, ptr %48, i64 8
  call void @llvm.lifetime.start.p0(i64 176, ptr %7) #7
  %54 = 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) %54, ptr noundef @.str, ptr noundef nonnull align 1 dereferenceable(1) %8)
          to label %55 unwind label %199

55:                                               ; preds = %51
  %56 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 1
  store i64 0, ptr %56, align 8, !tbaa !13
  %57 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %57) #7
  %58 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 3
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %58) #7
  %59 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 4
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %59, ptr null) #7
  %60 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 5
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %60, ptr null) #7
  %61 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %7, i32 0, i32 6
  store i8 1, ptr %61, align 8, !tbaa !21
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %53, ptr noundef nonnull align 8 dereferenceable(176) %7)
          to label %62 unwind label %203

62:                                               ; preds = %55
  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
  %63 = getelementptr inbounds i8, ptr %48, i64 8
  call void @llvm.lifetime.start.p0(i64 176, ptr %9) #7
  %64 = 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) %64, ptr noundef @.str.1, ptr noundef nonnull align 1 dereferenceable(1) %10)
          to label %65 unwind label %208

65:                                               ; preds = %62
  %66 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 1
  store i64 0, ptr %66, align 8, !tbaa !13
  %67 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %67) #7
  %68 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 3
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %68) #7
  %69 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 4
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %69, ptr null) #7
  %70 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 5
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %70, ptr null) #7
  %71 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %9, i32 0, i32 6
  store i8 0, ptr %71, align 8, !tbaa !21
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %63, ptr noundef nonnull align 8 dereferenceable(176) %9)
          to label %72 unwind label %212

72:                                               ; preds = %65
  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
  %73 = getelementptr inbounds i8, ptr %48, i64 8
  call void @llvm.lifetime.start.p0(i64 176, ptr %11) #7
  %74 = 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) %74, ptr noundef @.str.2, ptr noundef nonnull align 1 dereferenceable(1) %12)
          to label %75 unwind label %217

75:                                               ; preds = %72
  %76 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 1
  store i64 0, ptr %76, align 8, !tbaa !13
  %77 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %77) #7
  %78 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 3
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %78) #7
  %79 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 4
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %79, ptr null) #7
  %80 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 5
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %80, ptr null) #7
  %81 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %11, i32 0, i32 6
  store i8 0, ptr %81, align 8, !tbaa !21
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %73, ptr noundef nonnull align 8 dereferenceable(176) %11)
          to label %82 unwind label %221

82:                                               ; preds = %75
  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
  %83 = getelementptr inbounds i8, ptr %48, i64 8
  call void @llvm.lifetime.start.p0(i64 176, ptr %13) #7
  %84 = 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) %84, ptr noundef @.str.3, ptr noundef nonnull align 1 dereferenceable(1) %14)
          to label %85 unwind label %226

85:                                               ; preds = %82
  %86 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 1
  store i64 0, ptr %86, align 8, !tbaa !13
  %87 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %87) #7
  %88 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 3
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %88) #7
  %89 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 4
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %89, ptr null) #7
  %90 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 5
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %90, ptr null) #7
  %91 = getelementptr inbounds %"struct.ptne::PlaceProperties", ptr %13, i32 0, i32 6
  store i8 0, ptr %91, align 8, !tbaa !21
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %83, ptr noundef nonnull align 8 dereferenceable(176) %13)
          to label %92 unwind label %230

92:                                               ; preds = %85
  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
  %93 = getelementptr inbounds i8, ptr %48, i64 8
  call void @llvm.lifetime.start.p0(i64 160, ptr %15) #7
  %94 = getelementptr inbounds %"struct.ptne::TransitionProperties", 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) %94, ptr noundef @.str.4, ptr noundef nonnull align 1 dereferenceable(1) %16)
          to label %95 unwind label %235

95:                                               ; preds = %92
  store i1 true, ptr %30, align 1
  %96 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %15, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 80, ptr %18) #7
  store i1 true, ptr %21, align 1
  store ptr %18, ptr %19, align 8
  %97 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %18, i32 0, i32 0
  store i64 1, ptr %97, align 8, !tbaa !22
  %98 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %18, i32 0, i32 1
  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) %98, ptr noundef @.str, ptr noundef nonnull align 1 dereferenceable(1) %20)
          to label %99 unwind label %239

99:                                               ; preds = %95
  %100 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %18, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %100) #7
  %101 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %18, i32 0, i32 3
  store i32 0, ptr %101, align 8, !tbaa !25
  store i1 false, ptr %21, align 1
  %102 = getelementptr inbounds %"class.std::initializer_list", ptr %17, i32 0, i32 0
  store ptr %18, ptr %102, align 8, !tbaa !26
  %103 = getelementptr inbounds %"class.std::initializer_list", ptr %17, i32 0, i32 1
  store i64 1, ptr %103, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %22) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %22) #7
  %104 = getelementptr inbounds { ptr, i64 }, ptr %17, i32 0, i32 0
  %105 = load ptr, ptr %104, align 8
  %106 = getelementptr inbounds { ptr, i64 }, ptr %17, i32 0, i32 1
  %107 = load i64, ptr %106, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %96, ptr %105, i64 %107, ptr noundef nonnull align 1 dereferenceable(1) %22)
          to label %108 unwind label %243

108:                                              ; preds = %99
  store i1 true, ptr %29, align 1
  %109 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %15, i32 0, i32 2
  call void @llvm.lifetime.start.p0(i64 80, ptr %24) #7
  store i1 true, ptr %27, align 1
  store ptr %24, ptr %25, align 8
  %110 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %24, i32 0, i32 0
  store i64 1, ptr %110, align 8, !tbaa !22
  %111 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %24, 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) %111, ptr noundef @.str.1, ptr noundef nonnull align 1 dereferenceable(1) %26)
          to label %112 unwind label %247

112:                                              ; preds = %108
  %113 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %24, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %113) #7
  %114 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %24, i32 0, i32 3
  store i32 0, ptr %114, align 8, !tbaa !25
  store i1 false, ptr %27, align 1
  %115 = getelementptr inbounds %"class.std::initializer_list", ptr %23, i32 0, i32 0
  store ptr %24, ptr %115, align 8, !tbaa !26
  %116 = getelementptr inbounds %"class.std::initializer_list", ptr %23, i32 0, i32 1
  store i64 1, ptr %116, 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
  %117 = getelementptr inbounds { ptr, i64 }, ptr %23, i32 0, i32 0
  %118 = load ptr, ptr %117, align 8
  %119 = getelementptr inbounds { ptr, i64 }, ptr %23, i32 0, i32 1
  %120 = load i64, ptr %119, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %109, ptr %118, i64 %120, ptr noundef nonnull align 1 dereferenceable(1) %28)
          to label %121 unwind label %251

121:                                              ; preds = %112
  %122 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %15, i32 0, i32 3
  call void @llvm.memset.p0.i64(ptr align 8 %122, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %122) #7
  %123 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %15, i32 0, i32 4
  call void @llvm.memset.p0.i64(ptr align 8 %123, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %123) #7
  %124 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %15, i32 0, i32 5
  call void @llvm.memset.p0.i64(ptr align 8 %124, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %124) #7
  %125 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %15, i32 0, i32 6
  store i8 0, ptr %125, align 8, !tbaa !29
  store i1 false, ptr %29, align 1
  store i1 false, ptr %30, align 1
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %93, ptr noundef nonnull align 8 dereferenceable(160) %15)
          to label %126 unwind label %255

126:                                              ; preds = %121
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %15) #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
  %127 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %24, i32 0, i32 0
  %128 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %127, i64 1
  br label %129

129:                                              ; preds = %129, %126
  %130 = phi ptr [ %128, %126 ], [ %131, %129 ]
  %131 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %130, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %131) #7
  %132 = icmp eq ptr %131, %127
  br i1 %132, label %133, label %129

133:                                              ; preds = %129
  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 @llvm.lifetime.end.p0(i64 80, ptr %24) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %22) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %22) #7
  %134 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %18, i32 0, i32 0
  %135 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %134, i64 1
  br label %136

136:                                              ; preds = %136, %133
  %137 = phi ptr [ %135, %133 ], [ %138, %136 ]
  %138 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %137, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %138) #7
  %139 = icmp eq ptr %138, %134
  br i1 %139, label %140, label %136

140:                                              ; preds = %136
  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 80, ptr %18) #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 160, ptr %15) #7
  %141 = getelementptr inbounds i8, ptr %48, i64 8
  call void @llvm.lifetime.start.p0(i64 160, ptr %31) #7
  %142 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %31, i32 0, i32 0
  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) %142, ptr noundef @.str.5, ptr noundef nonnull align 1 dereferenceable(1) %32)
          to label %143 unwind label %304

143:                                              ; preds = %140
  store i1 true, ptr %47, align 1
  %144 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %31, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 80, ptr %34) #7
  store i1 true, ptr %37, align 1
  store ptr %34, ptr %35, align 8
  %145 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %34, i32 0, i32 0
  store i64 3, ptr %145, align 8, !tbaa !22
  %146 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %34, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %36) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %36) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %146, ptr noundef @.str.1, ptr noundef nonnull align 1 dereferenceable(1) %36)
          to label %147 unwind label %308

147:                                              ; preds = %143
  %148 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %34, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %148) #7
  %149 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %34, i32 0, i32 3
  store i32 0, ptr %149, align 8, !tbaa !25
  store i1 false, ptr %37, align 1
  %150 = getelementptr inbounds %"class.std::initializer_list", ptr %33, i32 0, i32 0
  store ptr %34, ptr %150, align 8, !tbaa !26
  %151 = getelementptr inbounds %"class.std::initializer_list", ptr %33, i32 0, i32 1
  store i64 1, ptr %151, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %38) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #7
  %152 = getelementptr inbounds { ptr, i64 }, ptr %33, i32 0, i32 0
  %153 = load ptr, ptr %152, align 8
  %154 = getelementptr inbounds { ptr, i64 }, ptr %33, i32 0, i32 1
  %155 = load i64, ptr %154, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %144, ptr %153, i64 %155, ptr noundef nonnull align 1 dereferenceable(1) %38)
          to label %156 unwind label %312

156:                                              ; preds = %147
  store i1 true, ptr %46, align 1
  %157 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %31, i32 0, i32 2
  call void @llvm.lifetime.start.p0(i64 160, ptr %40) #7
  store i1 true, ptr %44, align 1
  store ptr %40, ptr %41, align 8
  %158 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %40, i32 0, i32 0
  store i64 4, ptr %158, align 8, !tbaa !22
  %159 = 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) %159, ptr noundef @.str.2, ptr noundef nonnull align 1 dereferenceable(1) %42)
          to label %160 unwind label %316

160:                                              ; preds = %156
  %161 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %40, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %161) #7
  %162 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %40, i32 0, i32 3
  store i32 0, ptr %162, align 8, !tbaa !25
  %163 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %40, i64 1
  store ptr %163, ptr %41, align 8
  %164 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %163, i32 0, i32 0
  store i64 10, ptr %164, align 8, !tbaa !22
  %165 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %163, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 1, ptr %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) %165, ptr noundef @.str.3, ptr noundef nonnull align 1 dereferenceable(1) %43)
          to label %166 unwind label %320

166:                                              ; preds = %160
  %167 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %163, i32 0, i32 2
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %167) #7
  %168 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %163, i32 0, i32 3
  store i32 0, ptr %168, align 8, !tbaa !25
  store i1 false, ptr %44, align 1
  %169 = getelementptr inbounds %"class.std::initializer_list", ptr %39, i32 0, i32 0
  store ptr %40, ptr %169, align 8, !tbaa !26
  %170 = getelementptr inbounds %"class.std::initializer_list", ptr %39, i32 0, i32 1
  store i64 2, ptr %170, align 8, !tbaa !28
  call void @llvm.lifetime.start.p0(i64 1, ptr %45) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %45) #7
  %171 = getelementptr inbounds { ptr, i64 }, ptr %39, i32 0, i32 0
  %172 = load ptr, ptr %171, align 8
  %173 = getelementptr inbounds { ptr, i64 }, ptr %39, i32 0, i32 1
  %174 = load i64, ptr %173, align 8
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %157, ptr %172, i64 %174, ptr noundef nonnull align 1 dereferenceable(1) %45)
          to label %175 unwind label %324

175:                                              ; preds = %166
  %176 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %31, i32 0, i32 3
  call void @llvm.memset.p0.i64(ptr align 8 %176, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %176) #7
  %177 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %31, i32 0, i32 4
  call void @llvm.memset.p0.i64(ptr align 8 %177, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %177) #7
  %178 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %31, i32 0, i32 5
  call void @llvm.memset.p0.i64(ptr align 8 %178, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %178) #7
  %179 = getelementptr inbounds %"struct.ptne::TransitionProperties", ptr %31, i32 0, i32 6
  store i8 0, ptr %179, align 8, !tbaa !29
  store i1 false, ptr %46, align 1
  store i1 false, ptr %47, align 1
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %141, ptr noundef nonnull align 8 dereferenceable(160) %31)
          to label %180 unwind label %328

180:                                              ; preds = %175
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %31) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %45) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %45) #7
  %181 = getelementptr inbounds [2 x %"struct.ptne::ArcProperties"], ptr %40, i32 0, i32 0
  %182 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %181, i64 2
  br label %183

183:                                              ; preds = %183, %180
  %184 = phi ptr [ %182, %180 ], [ %185, %183 ]
  %185 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %184, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %185) #7
  %186 = icmp eq ptr %185, %181
  br i1 %186, label %187, label %183

187:                                              ; preds = %183
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %43) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %43) #7
  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 160, ptr %40) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #7
  %188 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %34, i32 0, i32 0
  %189 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %188, i64 1
  br label %190

190:                                              ; preds = %190, %187
  %191 = phi ptr [ %189, %187 ], [ %192, %190 ]
  %192 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %191, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %192) #7
  %193 = icmp eq ptr %192, %188
  br i1 %193, label %194, label %190

194:                                              ; preds = %190
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %36) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %36) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr %34) #7
  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 160, ptr %31) #7
  ret void

195:                                              ; preds = %2
  %196 = landingpad { ptr, i32 }
          cleanup
  %197 = extractvalue { ptr, i32 } %196, 0
  store ptr %197, ptr %5, align 8
  %198 = extractvalue { ptr, i32 } %196, 1
  store i32 %198, ptr %6, align 4
  br label %380

199:                                              ; preds = %51
  %200 = landingpad { ptr, i32 }
          cleanup
  %201 = extractvalue { ptr, i32 } %200, 0
  store ptr %201, ptr %5, align 8
  %202 = extractvalue { ptr, i32 } %200, 1
  store i32 %202, ptr %6, align 4
  br label %207

203:                                              ; preds = %55
  %204 = landingpad { ptr, i32 }
          cleanup
  %205 = extractvalue { ptr, i32 } %204, 0
  store ptr %205, ptr %5, align 8
  %206 = extractvalue { ptr, i32 } %204, 1
  store i32 %206, ptr %6, align 4
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %7) #7
  br label %207

207:                                              ; preds = %203, %199
  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 %378

208:                                              ; preds = %62
  %209 = landingpad { ptr, i32 }
          cleanup
  %210 = extractvalue { ptr, i32 } %209, 0
  store ptr %210, ptr %5, align 8
  %211 = extractvalue { ptr, i32 } %209, 1
  store i32 %211, ptr %6, align 4
  br label %216

212:                                              ; preds = %65
  %213 = landingpad { ptr, i32 }
          cleanup
  %214 = extractvalue { ptr, i32 } %213, 0
  store ptr %214, ptr %5, align 8
  %215 = extractvalue { ptr, i32 } %213, 1
  store i32 %215, ptr %6, align 4
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %9) #7
  br label %216

216:                                              ; preds = %212, %208
  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 %378

217:                                              ; preds = %72
  %218 = landingpad { ptr, i32 }
          cleanup
  %219 = extractvalue { ptr, i32 } %218, 0
  store ptr %219, ptr %5, align 8
  %220 = extractvalue { ptr, i32 } %218, 1
  store i32 %220, ptr %6, align 4
  br label %225

221:                                              ; preds = %75
  %222 = landingpad { ptr, i32 }
          cleanup
  %223 = extractvalue { ptr, i32 } %222, 0
  store ptr %223, ptr %5, align 8
  %224 = extractvalue { ptr, i32 } %222, 1
  store i32 %224, ptr %6, align 4
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %11) #7
  br label %225

225:                                              ; preds = %221, %217
  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 %378

226:                                              ; preds = %82
  %227 = landingpad { ptr, i32 }
          cleanup
  %228 = extractvalue { ptr, i32 } %227, 0
  store ptr %228, ptr %5, align 8
  %229 = extractvalue { ptr, i32 } %227, 1
  store i32 %229, ptr %6, align 4
  br label %234

230:                                              ; preds = %85
  %231 = landingpad { ptr, i32 }
          cleanup
  %232 = extractvalue { ptr, i32 } %231, 0
  store ptr %232, ptr %5, align 8
  %233 = extractvalue { ptr, i32 } %231, 1
  store i32 %233, ptr %6, align 4
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %13) #7
  br label %234

234:                                              ; preds = %230, %226
  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 %378

235:                                              ; preds = %92
  %236 = landingpad { ptr, i32 }
          cleanup
  %237 = extractvalue { ptr, i32 } %236, 0
  store ptr %237, ptr %5, align 8
  %238 = extractvalue { ptr, i32 } %236, 1
  store i32 %238, ptr %6, align 4
  br label %303

239:                                              ; preds = %95
  %240 = landingpad { ptr, i32 }
          cleanup
  %241 = extractvalue { ptr, i32 } %240, 0
  store ptr %241, ptr %5, align 8
  %242 = extractvalue { ptr, i32 } %240, 1
  store i32 %242, ptr %6, align 4
  br label %289

243:                                              ; preds = %99
  %244 = landingpad { ptr, i32 }
          cleanup
  %245 = extractvalue { ptr, i32 } %244, 0
  store ptr %245, ptr %5, align 8
  %246 = extractvalue { ptr, i32 } %244, 1
  store i32 %246, ptr %6, align 4
  br label %281

247:                                              ; preds = %108
  %248 = landingpad { ptr, i32 }
          cleanup
  %249 = extractvalue { ptr, i32 } %248, 0
  store ptr %249, ptr %5, align 8
  %250 = extractvalue { ptr, i32 } %248, 1
  store i32 %250, ptr %6, align 4
  br label %267

251:                                              ; preds = %112
  %252 = landingpad { ptr, i32 }
          cleanup
  %253 = extractvalue { ptr, i32 } %252, 0
  store ptr %253, ptr %5, align 8
  %254 = extractvalue { ptr, i32 } %252, 1
  store i32 %254, ptr %6, align 4
  br label %259

255:                                              ; preds = %121
  %256 = landingpad { ptr, i32 }
          cleanup
  %257 = extractvalue { ptr, i32 } %256, 0
  store ptr %257, ptr %5, align 8
  %258 = extractvalue { ptr, i32 } %256, 1
  store i32 %258, ptr %6, align 4
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %15) #7
  br label %259

259:                                              ; preds = %255, %251
  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
  %260 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %24, i32 0, i32 0
  %261 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %260, i64 1
  br label %262

262:                                              ; preds = %262, %259
  %263 = phi ptr [ %261, %259 ], [ %264, %262 ]
  %264 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %263, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %264) #7
  %265 = icmp eq ptr %264, %260
  br i1 %265, label %266, label %262

266:                                              ; preds = %262
  br label %267

267:                                              ; preds = %266, %247
  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
  %268 = load i1, ptr %27, align 1
  br i1 %268, label %269, label %277

269:                                              ; preds = %267
  %270 = load ptr, ptr %25, align 8
  %271 = icmp eq ptr %24, %270
  br i1 %271, label %276, label %272

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

276:                                              ; preds = %272, %269
  br label %277

277:                                              ; preds = %276, %267
  call void @llvm.lifetime.end.p0(i64 80, ptr %24) #7
  %278 = load i1, ptr %29, align 1
  br i1 %278, label %279, label %280

279:                                              ; preds = %277
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %96) #7
  br label %280

280:                                              ; preds = %279, %277
  br label %281

281:                                              ; preds = %280, %243
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %22) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %22) #7
  %282 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %18, i32 0, i32 0
  %283 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %282, i64 1
  br label %284

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

288:                                              ; preds = %284
  br label %289

289:                                              ; preds = %288, %239
  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
  %290 = load i1, ptr %21, align 1
  br i1 %290, label %291, label %299

291:                                              ; preds = %289
  %292 = load ptr, ptr %19, align 8
  %293 = icmp eq ptr %18, %292
  br i1 %293, label %298, label %294

294:                                              ; preds = %294, %291
  %295 = phi ptr [ %292, %291 ], [ %296, %294 ]
  %296 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %295, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %296) #7
  %297 = icmp eq ptr %296, %18
  br i1 %297, label %298, label %294

298:                                              ; preds = %294, %291
  br label %299

299:                                              ; preds = %298, %289
  call void @llvm.lifetime.end.p0(i64 80, ptr %18) #7
  %300 = load i1, ptr %30, align 1
  br i1 %300, label %301, label %302

301:                                              ; preds = %299
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %94) #7
  br label %302

302:                                              ; preds = %301, %299
  br label %303

303:                                              ; preds = %302, %235
  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 160, ptr %15) #7
  br label %378

304:                                              ; preds = %140
  %305 = landingpad { ptr, i32 }
          cleanup
  %306 = extractvalue { ptr, i32 } %305, 0
  store ptr %306, ptr %5, align 8
  %307 = extractvalue { ptr, i32 } %305, 1
  store i32 %307, ptr %6, align 4
  br label %377

308:                                              ; preds = %143
  %309 = landingpad { ptr, i32 }
          cleanup
  %310 = extractvalue { ptr, i32 } %309, 0
  store ptr %310, ptr %5, align 8
  %311 = extractvalue { ptr, i32 } %309, 1
  store i32 %311, ptr %6, align 4
  br label %363

312:                                              ; preds = %147
  %313 = landingpad { ptr, i32 }
          cleanup
  %314 = extractvalue { ptr, i32 } %313, 0
  store ptr %314, ptr %5, align 8
  %315 = extractvalue { ptr, i32 } %313, 1
  store i32 %315, ptr %6, align 4
  br label %355

316:                                              ; preds = %156
  %317 = landingpad { ptr, i32 }
          cleanup
  %318 = extractvalue { ptr, i32 } %317, 0
  store ptr %318, ptr %5, align 8
  %319 = extractvalue { ptr, i32 } %317, 1
  store i32 %319, ptr %6, align 4
  br label %341

320:                                              ; preds = %160
  %321 = landingpad { ptr, i32 }
          cleanup
  %322 = extractvalue { ptr, i32 } %321, 0
  store ptr %322, ptr %5, align 8
  %323 = extractvalue { ptr, i32 } %321, 1
  store i32 %323, ptr %6, align 4
  br label %340

324:                                              ; preds = %166
  %325 = landingpad { ptr, i32 }
          cleanup
  %326 = extractvalue { ptr, i32 } %325, 0
  store ptr %326, ptr %5, align 8
  %327 = extractvalue { ptr, i32 } %325, 1
  store i32 %327, ptr %6, align 4
  br label %332

328:                                              ; preds = %175
  %329 = landingpad { ptr, i32 }
          cleanup
  %330 = extractvalue { ptr, i32 } %329, 0
  store ptr %330, ptr %5, align 8
  %331 = extractvalue { ptr, i32 } %329, 1
  store i32 %331, ptr %6, align 4
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %31) #7
  br label %332

332:                                              ; preds = %328, %324
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %45) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %45) #7
  %333 = getelementptr inbounds [2 x %"struct.ptne::ArcProperties"], ptr %40, i32 0, i32 0
  %334 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %333, i64 2
  br label %335

335:                                              ; preds = %335, %332
  %336 = phi ptr [ %334, %332 ], [ %337, %335 ]
  %337 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %336, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %337) #7
  %338 = icmp eq ptr %337, %333
  br i1 %338, label %339, label %335

339:                                              ; preds = %335
  br label %340

340:                                              ; preds = %339, %320
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %43) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %43) #7
  br label %341

341:                                              ; preds = %340, %316
  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
  %342 = load i1, ptr %44, align 1
  br i1 %342, label %343, label %351

343:                                              ; preds = %341
  %344 = load ptr, ptr %41, align 8
  %345 = icmp eq ptr %40, %344
  br i1 %345, label %350, label %346

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

350:                                              ; preds = %346, %343
  br label %351

351:                                              ; preds = %350, %341
  call void @llvm.lifetime.end.p0(i64 160, ptr %40) #7
  %352 = load i1, ptr %46, align 1
  br i1 %352, label %353, label %354

353:                                              ; preds = %351
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %144) #7
  br label %354

354:                                              ; preds = %353, %351
  br label %355

355:                                              ; preds = %354, %312
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %38) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #7
  %356 = getelementptr inbounds [1 x %"struct.ptne::ArcProperties"], ptr %34, i32 0, i32 0
  %357 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %356, i64 1
  br label %358

358:                                              ; preds = %358, %355
  %359 = phi ptr [ %357, %355 ], [ %360, %358 ]
  %360 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %359, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %360) #7
  %361 = icmp eq ptr %360, %356
  br i1 %361, label %362, label %358

362:                                              ; preds = %358
  br label %363

363:                                              ; preds = %362, %308
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %36) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %36) #7
  %364 = load i1, ptr %37, align 1
  br i1 %364, label %365, label %373

365:                                              ; preds = %363
  %366 = load ptr, ptr %35, align 8
  %367 = icmp eq ptr %34, %366
  br i1 %367, label %372, label %368

368:                                              ; preds = %368, %365
  %369 = phi ptr [ %366, %365 ], [ %370, %368 ]
  %370 = getelementptr inbounds %"struct.ptne::ArcProperties", ptr %369, i64 -1
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %370) #7
  %371 = icmp eq ptr %370, %34
  br i1 %371, label %372, label %368

372:                                              ; preds = %368, %365
  br label %373

373:                                              ; preds = %372, %363
  call void @llvm.lifetime.end.p0(i64 80, ptr %34) #7
  %374 = load i1, ptr %47, align 1
  br i1 %374, label %375, label %376

375:                                              ; preds = %373
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %142) #7
  br label %376

376:                                              ; preds = %375, %373
  br label %377

377:                                              ; preds = %376, %304
  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 160, ptr %31) #7
  br label %378

378:                                              ; preds = %377, %303, %234, %225, %216, %207
  %379 = getelementptr inbounds i8, ptr %48, i64 8
  call void @_ZN4ptne10PTN_EngineD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %379) #7
  br label %380

380:                                              ; preds = %378, %195
  call void @_ZN19IDispatcherPetriNetD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %48) #7
  br label %381

381:                                              ; preds = %380
  %382 = load ptr, ptr %5, align 8
  %383 = load i32, ptr %6, align 4
  %384 = insertvalue { ptr, i32 } poison, ptr %382, 0
  %385 = insertvalue { ptr, i32 } %384, i32 %383, 1
  resume { ptr, i32 } %385
}

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

@_ZTV16WeightedPetriNet = 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 [12 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [9 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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16WeightedPetriNetC2EN4ptne10PTN_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::TransitionProperties", align 8
  %12 = alloca %"class.std::allocator", align 1
  %13 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %14 = alloca %"class.std::allocator", align 1
  %15 = alloca %"class.std::allocator.2", align 1
  %16 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %17 = alloca %"class.std::allocator", align 1
  %18 = alloca %"class.std::allocator.2", align 1
  %19 = alloca %"struct.ptne::TransitionProperties", align 8
  %20 = alloca %"class.std::allocator", align 1
  %21 = alloca [1 x %"struct.ptne::ArcProperties"], align 8
  %22 = alloca %"class.std::allocator", align 1
  %23 = alloca %"class.std::allocator.2", align 1
  %24 = alloca [2 x %"struct.ptne::ArcProperties"], align 8
  %25 = alloca %"class.std::allocator", align 1
  %26 = alloca %"class.std::allocator", align 1
  %27 = alloca %"class.std::allocator.2", align 1
  tail call void @_ZN19IDispatcherPetriNetC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %0) #7
  %28 = getelementptr inbounds i8, ptr %0, i64 8
  invoke void @_ZN4ptne10PTN_EngineC2ENS0_21ACTIONS_THREAD_OPTIONE(ptr noundef nonnull align 8 dereferenceable(16) %28, i32 noundef %1)
          to label %29 unwind label %104

29:                                               ; preds = %2
  store ptr getelementptr inbounds inrange(-16, 48) (i8, ptr @_ZTV16WeightedPetriNet, i64 16), ptr %0, align 8, !tbaa !5
  store ptr getelementptr inbounds inrange(-16, 16) (i8, ptr @_ZTV16WeightedPetriNet, i64 80), ptr %28, 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 %30 unwind label %106

30:                                               ; preds = %29
  %31 = getelementptr inbounds i8, ptr %3, i64 32
  store i64 0, ptr %31, align 8, !tbaa !8
  %32 = getelementptr inbounds i8, ptr %3, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #7
  %33 = getelementptr inbounds i8, ptr %3, i64 72
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #7
  %34 = getelementptr inbounds i8, ptr %3, i64 104
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %34, ptr null) #7
  %35 = getelementptr inbounds i8, ptr %3, i64 136
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %35, ptr null) #7
  %36 = getelementptr inbounds i8, ptr %3, i64 168
  store i8 1, ptr %36, align 8, !tbaa !18
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %28, ptr noundef nonnull align 8 dereferenceable(176) %3)
          to label %37 unwind label %108

37:                                               ; preds = %30
  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 %38 unwind label %111

38:                                               ; preds = %37
  %39 = getelementptr inbounds i8, ptr %5, i64 32
  store i64 0, ptr %39, align 8, !tbaa !8
  %40 = getelementptr inbounds i8, ptr %5, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %40) #7
  %41 = getelementptr inbounds i8, ptr %5, i64 72
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %41) #7
  %42 = getelementptr inbounds i8, ptr %5, i64 104
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %42, ptr null) #7
  %43 = getelementptr inbounds i8, ptr %5, i64 136
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %43, ptr null) #7
  %44 = getelementptr inbounds i8, ptr %5, i64 168
  store i8 0, ptr %44, align 8, !tbaa !18
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %28, ptr noundef nonnull align 8 dereferenceable(176) %5)
          to label %45 unwind label %113

45:                                               ; preds = %38
  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 %46 unwind label %116

46:                                               ; preds = %45
  %47 = getelementptr inbounds i8, ptr %7, i64 32
  store i64 0, ptr %47, align 8, !tbaa !8
  %48 = getelementptr inbounds i8, ptr %7, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #7
  %49 = getelementptr inbounds i8, ptr %7, i64 72
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %49) #7
  %50 = getelementptr inbounds i8, ptr %7, i64 104
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %50, ptr null) #7
  %51 = getelementptr inbounds i8, ptr %7, i64 136
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %51, ptr null) #7
  %52 = getelementptr inbounds i8, ptr %7, i64 168
  store i8 0, ptr %52, align 8, !tbaa !18
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %28, ptr noundef nonnull align 8 dereferenceable(176) %7)
          to label %53 unwind label %118

53:                                               ; preds = %46
  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 %54 unwind label %121

54:                                               ; preds = %53
  %55 = getelementptr inbounds i8, ptr %9, i64 32
  store i64 0, ptr %55, align 8, !tbaa !8
  %56 = getelementptr inbounds i8, ptr %9, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %56) #7
  %57 = getelementptr inbounds i8, ptr %9, i64 72
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %57) #7
  %58 = getelementptr inbounds i8, ptr %9, i64 104
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %58, ptr null) #7
  %59 = getelementptr inbounds i8, ptr %9, i64 136
  call void @_ZNSt8functionIFvvEEC2EDn(ptr noundef nonnull align 8 dereferenceable(32) %59, ptr null) #7
  %60 = getelementptr inbounds i8, ptr %9, i64 168
  store i8 0, ptr %60, align 8, !tbaa !18
  invoke void @_ZN4ptne10PTN_Engine11createPlaceERKNS_15PlacePropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %28, ptr noundef nonnull align 8 dereferenceable(176) %9)
          to label %61 unwind label %123

61:                                               ; preds = %54
  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 160, 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 %62 unwind label %126

62:                                               ; preds = %61
  %63 = getelementptr inbounds i8, ptr %11, i64 32
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %13) #7
  store i64 1, ptr %13, align 8, !tbaa !19
  %64 = getelementptr inbounds i8, ptr %13, i64 8
  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) %64, ptr noundef nonnull @.str, ptr noundef nonnull align 1 dereferenceable(1) %14)
          to label %65 unwind label %.thread98

65:                                               ; preds = %62
  %66 = getelementptr inbounds i8, ptr %13, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %66) #7
  %67 = getelementptr inbounds i8, ptr %13, i64 72
  store i32 0, ptr %67, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %15) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %63, ptr nonnull %13, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %15)
          to label %68 unwind label %129

68:                                               ; preds = %65
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %16) #7
  store i64 1, ptr %16, align 8, !tbaa !19
  %69 = getelementptr inbounds i8, ptr %16, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %17) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %17) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %69, ptr noundef nonnull @.str.1, ptr noundef nonnull align 1 dereferenceable(1) %17)
          to label %70 unwind label %.thread

70:                                               ; preds = %68
  %71 = getelementptr inbounds i8, ptr %11, i64 56
  %72 = getelementptr inbounds i8, ptr %16, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %72) #7
  %73 = getelementptr inbounds i8, ptr %16, i64 72
  store i32 0, ptr %73, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %18) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %18) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %71, ptr nonnull %16, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %18)
          to label %74 unwind label %132

74:                                               ; preds = %70
  %75 = getelementptr inbounds i8, ptr %11, i64 80
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %75, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %75) #7
  %76 = getelementptr inbounds i8, ptr %11, i64 104
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %76, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %76) #7
  %77 = getelementptr inbounds i8, ptr %11, i64 128
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %77, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %77) #7
  %78 = getelementptr inbounds i8, ptr %11, i64 152
  store i8 0, ptr %78, align 8, !tbaa !23
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %28, ptr noundef nonnull align 8 dereferenceable(160) %11)
          to label %79 unwind label %134

79:                                               ; preds = %74
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %11) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %18) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %18) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %16) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %17) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %17) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %16) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %15) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %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 80, ptr nonnull %13) #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 160, ptr nonnull %11) #7
  call void @llvm.lifetime.start.p0(i64 160, ptr nonnull %19) #7
  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) %19, ptr noundef nonnull @.str.5, ptr noundef nonnull align 1 dereferenceable(1) %20)
          to label %80 unwind label %141

80:                                               ; preds = %79
  %81 = getelementptr inbounds i8, ptr %19, i64 32
  call void @llvm.lifetime.start.p0(i64 80, ptr nonnull %21) #7
  store i64 3, ptr %21, align 8, !tbaa !19
  %82 = getelementptr inbounds i8, ptr %21, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %22) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %22) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %82, ptr noundef nonnull @.str.1, ptr noundef nonnull align 1 dereferenceable(1) %22)
          to label %83 unwind label %.thread115

83:                                               ; preds = %80
  %84 = getelementptr inbounds i8, ptr %21, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %84) #7
  %85 = getelementptr inbounds i8, ptr %21, i64 72
  store i32 0, ptr %85, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %23) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %23) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %81, ptr nonnull %21, i64 1, ptr noundef nonnull align 1 dereferenceable(1) %23)
          to label %86 unwind label %144

86:                                               ; preds = %83
  %87 = getelementptr inbounds i8, ptr %19, i64 56
  call void @llvm.lifetime.start.p0(i64 160, ptr nonnull %24) #7
  store i64 4, ptr %24, align 8, !tbaa !19
  %88 = getelementptr inbounds i8, ptr %24, i64 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %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) %88, ptr noundef nonnull @.str.2, ptr noundef nonnull align 1 dereferenceable(1) %25)
          to label %89 unwind label %.thread110

89:                                               ; preds = %86
  %90 = getelementptr inbounds i8, ptr %24, i64 40
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %90) #7
  %91 = getelementptr inbounds i8, ptr %24, i64 72
  store i32 0, ptr %91, align 8, !tbaa !22
  %92 = getelementptr inbounds i8, ptr %24, i64 80
  store i64 10, ptr %92, align 8, !tbaa !19
  %93 = getelementptr inbounds i8, ptr %24, i64 88
  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) %93, ptr noundef nonnull @.str.3, ptr noundef nonnull align 1 dereferenceable(1) %26)
          to label %94 unwind label %147

94:                                               ; preds = %89
  %95 = getelementptr inbounds i8, ptr %24, i64 120
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %95) #7
  %96 = getelementptr inbounds i8, ptr %24, i64 152
  store i32 0, ptr %96, align 8, !tbaa !22
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %27) #7
  call void @_ZNSaIN4ptne13ArcPropertiesEEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %27) #7
  invoke void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %87, ptr nonnull %24, i64 2, ptr noundef nonnull align 1 dereferenceable(1) %27)
          to label %97 unwind label %149

97:                                               ; preds = %94
  %98 = getelementptr inbounds i8, ptr %19, i64 80
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %98, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %98) #7
  %99 = getelementptr inbounds i8, ptr %19, i64 104
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %99, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %99) #7
  %100 = getelementptr inbounds i8, ptr %19, i64 128
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %100, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt8functionIFbvEESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %100) #7
  %101 = getelementptr inbounds i8, ptr %19, i64 152
  store i8 0, ptr %101, align 8, !tbaa !23
  invoke void @_ZN4ptne10PTN_Engine16createTransitionERKNS_20TransitionPropertiesE(ptr noundef nonnull align 8 dereferenceable(16) %28, ptr noundef nonnull align 8 dereferenceable(160) %19)
          to label %102 unwind label %151

102:                                              ; preds = %97
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %19) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %27) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %27) #7
  %103 = getelementptr inbounds i8, ptr %24, i64 80
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %103) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %24) #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 @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %25) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %24) #7
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %23) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %23) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %21) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %22) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %22) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %21) #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 @llvm.lifetime.end.p0(i64 160, ptr nonnull %19) #7
  ret void

104:                                              ; preds = %2
  %105 = landingpad { ptr, i32 }
          cleanup
  br label %160

106:                                              ; preds = %29
  %107 = landingpad { ptr, i32 }
          cleanup
  br label %110

108:                                              ; preds = %30
  %109 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %3) #7
  br label %110

110:                                              ; preds = %108, %106
  %.pn = phi { ptr, i32 } [ %109, %108 ], [ %107, %106 ]
  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 %159

111:                                              ; preds = %37
  %112 = landingpad { ptr, i32 }
          cleanup
  br label %115

113:                                              ; preds = %38
  %114 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %5) #7
  br label %115

115:                                              ; preds = %113, %111
  %.pn73 = phi { ptr, i32 } [ %114, %113 ], [ %112, %111 ]
  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 %159

116:                                              ; preds = %45
  %117 = landingpad { ptr, i32 }
          cleanup
  br label %120

118:                                              ; preds = %46
  %119 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %7) #7
  br label %120

120:                                              ; preds = %118, %116
  %.pn75 = phi { ptr, i32 } [ %119, %118 ], [ %117, %116 ]
  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 %159

121:                                              ; preds = %53
  %122 = landingpad { ptr, i32 }
          cleanup
  br label %125

123:                                              ; preds = %54
  %124 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne15PlacePropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(176) %9) #7
  br label %125

125:                                              ; preds = %123, %121
  %.pn77 = phi { ptr, i32 } [ %124, %123 ], [ %122, %121 ]
  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 %159

126:                                              ; preds = %61
  %127 = landingpad { ptr, i32 }
          cleanup
  br label %140

.thread98:                                        ; preds = %62
  %128 = landingpad { ptr, i32 }
          cleanup
  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 80, ptr nonnull %13) #7
  br label %139

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

.thread:                                          ; preds = %68
  %131 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %17) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %17) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %16) #7
  br label %137

132:                                              ; preds = %70
  %133 = landingpad { ptr, i32 }
          cleanup
  br label %136

134:                                              ; preds = %74
  %135 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %11) #7
  br label %136

136:                                              ; preds = %134, %132
  %.062 = phi i1 [ false, %134 ], [ true, %132 ]
  %.pn79 = phi { ptr, i32 } [ %135, %134 ], [ %133, %132 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %18) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %18) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %16) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %17) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %17) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %16) #7
  br i1 %.062, label %137, label %138

137:                                              ; preds = %.thread, %136
  %.pn79.pn97 = phi { ptr, i32 } [ %131, %.thread ], [ %.pn79, %136 ]
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %63) #7
  br label %138

138:                                              ; preds = %136, %137, %129
  %.266 = phi i1 [ true, %137 ], [ false, %136 ], [ true, %129 ]
  %.pn79.pn.pn = phi { ptr, i32 } [ %.pn79.pn97, %137 ], [ %.pn79, %136 ], [ %130, %129 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %15) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %15) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %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 80, ptr nonnull %13) #7
  br i1 %.266, label %139, label %140

139:                                              ; preds = %.thread98, %138
  %.pn79.pn.pn.pn101 = phi { ptr, i32 } [ %128, %.thread98 ], [ %.pn79.pn.pn, %138 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  br label %140

140:                                              ; preds = %138, %139, %126
  %.pn79.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn79.pn.pn.pn101, %139 ], [ %.pn79.pn.pn, %138 ], [ %127, %126 ]
  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 160, ptr nonnull %11) #7
  br label %159

141:                                              ; preds = %79
  %142 = landingpad { ptr, i32 }
          cleanup
  br label %158

.thread115:                                       ; preds = %80
  %143 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %22) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %22) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %21) #7
  br label %157

144:                                              ; preds = %83
  %145 = landingpad { ptr, i32 }
          cleanup
  br label %156

.thread110:                                       ; preds = %86
  %146 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %25) #7
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %24) #7
  br label %155

147:                                              ; preds = %89
  %148 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit119

149:                                              ; preds = %94
  %150 = landingpad { ptr, i32 }
          cleanup
  br label %.loopexit119.loopexit

151:                                              ; preds = %97
  %152 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN4ptne20TransitionPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(160) %19) #7
  br label %.loopexit119.loopexit

.loopexit119.loopexit:                            ; preds = %151, %149
  %.pn85 = phi { ptr, i32 } [ %152, %151 ], [ %150, %149 ]
  %.0 = phi i1 [ false, %151 ], [ true, %149 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %27) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %27) #7
  %153 = getelementptr inbounds i8, ptr %24, i64 80
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %153) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %24) #7
  br label %.loopexit119

.loopexit119:                                     ; preds = %.loopexit119.loopexit, %147
  %.pn85.pn = phi { ptr, i32 } [ %148, %147 ], [ %.pn85, %.loopexit119.loopexit ]
  %154 = phi i1 [ false, %147 ], [ true, %.loopexit119.loopexit ]
  %.1 = phi i1 [ true, %147 ], [ %.0, %.loopexit119.loopexit ]
  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 @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %25) #7
  br i1 %154, label %.loopexit, label %.preheader.preheader

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

.loopexit:                                        ; preds = %.preheader.preheader, %.loopexit119
  call void @llvm.lifetime.end.p0(i64 160, ptr nonnull %24) #7
  br i1 %.1, label %155, label %156

155:                                              ; preds = %.thread110, %.loopexit
  %.pn85.pn.pn108114 = phi { ptr, i32 } [ %146, %.thread110 ], [ %.pn85.pn, %.loopexit ]
  call void @_ZNSt6vectorIN4ptne13ArcPropertiesESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %81) #7
  br label %156

156:                                              ; preds = %.loopexit, %155, %144
  %.pn85.pn.pn.pn = phi { ptr, i32 } [ %.pn85.pn.pn108114, %155 ], [ %.pn85.pn, %.loopexit ], [ %145, %144 ]
  %.3 = phi i1 [ true, %155 ], [ false, %.loopexit ], [ true, %144 ]
  call void @_ZNSt15__new_allocatorIN4ptne13ArcPropertiesEED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %23) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %23) #7
  call void @_ZN4ptne13ArcPropertiesD2Ev(ptr noundef nonnull align 8 dereferenceable(80) %21) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %22) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %22) #7
  call void @llvm.lifetime.end.p0(i64 80, ptr nonnull %21) #7
  br i1 %.3, label %157, label %158

157:                                              ; preds = %.thread115, %156
  %.pn85.pn.pn.pn.pn118 = phi { ptr, i32 } [ %143, %.thread115 ], [ %.pn85.pn.pn.pn, %156 ]
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  br label %158

158:                                              ; preds = %156, %157, %141
  %.pn85.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn85.pn.pn.pn.pn118, %157 ], [ %.pn85.pn.pn.pn, %156 ], [ %142, %141 ]
  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 @llvm.lifetime.end.p0(i64 160, ptr nonnull %19) #7
  br label %159

159:                                              ; preds = %158, %140, %125, %120, %115, %110
  %.pn85.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn85.pn.pn.pn.pn.pn, %158 ], [ %.pn79.pn.pn.pn.pn, %140 ], [ %.pn77, %125 ], [ %.pn75, %120 ], [ %.pn73, %115 ], [ %.pn, %110 ]
  call void @_ZN4ptne10PTN_EngineD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %28) #7
  br label %160

160:                                              ; preds = %159, %104
  %.pn85.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn85.pn.pn.pn.pn.pn.pn, %159 ], [ %105, %104 ]
  call void @_ZN19IDispatcherPetriNetD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %0) #7
  resume { ptr, i32 } %.pn85.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,SROAPass,SimplifyCFGPass,TailCallElimPass