; LLVM IR from askforalfred/alfred :: gen/ff_planner (inst_hard)

; 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._Effect = type { i32, [15 x i32], [15 x ptr], ptr, ptr, ptr, ptr, ptr }
%struct._PseudoAction = type { ptr, [15 x i32], ptr, i32, ptr, ptr, ptr, i32, ptr, i32 }
%struct._Operator = type { ptr, [15 x ptr], i32, i8, i32, [15 x i32], [15 x i8], ptr, ptr, i8 }
%struct._WffNode = type { i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32, ptr, i32, ptr, ptr, i8 }
%struct._PseudoActionEffect = type { ptr, i32, ptr, i32, ptr, i32, ptr, ptr, ptr, i32, ptr, ptr, ptr, i32, ptr }
%struct._Fact = type { i32, [5 x i32] }

@garity = external global [50 x i32], align 16
@linst_table = external dso_local global [15 x i32], align 16
@gtype_consts = external global [50 x [2000 x i32]], align 16
@gtype_size = external global [50 x i32], align 16
@.str.3 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [52 x i8], align 1

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

declare i32 @printf(ptr noundef, ...) #1

; Function Attrs: nounwind allocsize(0,1)
declare noalias ptr @calloc(i64 noundef, i64 noundef) #2

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

; Function Attrs: nounwind uwtable
declare dso_local ptr @instantiate_wff(ptr noundef) #3

declare void @free_WffNode(ptr noundef) #1

declare void @dnf(ptr noundef) #1

declare void @cleanup_wff(ptr noundef) #1

declare i32 @is_dnf(ptr noundef) #1

declare void @print_Wff(ptr noundef, i32 noundef) #1

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) #4

declare ptr @copy_Exp(ptr noundef) #1

; Function Attrs: nounwind uwtable
define dso_local void @create_hard_pseudo_effects(ptr noundef %0, ptr noundef %1, i32 noundef %2) #3 {
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  store i32 %2, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #5
  %17 = load i32, ptr %6, align 4, !tbaa !9
  %18 = load ptr, ptr %5, align 8, !tbaa !5
  %19 = getelementptr inbounds %struct._Effect, ptr %18, i32 0, i32 0
  %20 = load i32, ptr %19, align 8, !tbaa !11
  %21 = icmp slt i32 %17, %20
  br i1 %21, label %22, label %65

22:                                               ; preds = %3
  %23 = load ptr, ptr %4, align 8, !tbaa !5
  %24 = getelementptr inbounds %struct._PseudoAction, ptr %23, i32 0, i32 0
  %25 = load ptr, ptr %24, align 8, !tbaa !13
  %26 = getelementptr inbounds %struct._Operator, ptr %25, i32 0, i32 4
  %27 = load i32, ptr %26, align 8, !tbaa !15
  %28 = load i32, ptr %6, align 4, !tbaa !9
  %29 = add nsw i32 %27, %28
  store i32 %29, ptr %7, align 4, !tbaa !9
  %30 = load ptr, ptr %5, align 8, !tbaa !5
  %31 = getelementptr inbounds %struct._Effect, ptr %30, i32 0, i32 1
  %32 = load i32, ptr %6, align 4, !tbaa !9
  %33 = sext i32 %32 to i64
  %34 = getelementptr inbounds [15 x i32], ptr %31, i64 0, i64 %33
  %35 = load i32, ptr %34, align 4, !tbaa !9
  store i32 %35, ptr %8, align 4, !tbaa !9
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %36

36:                                               ; preds = %61, %22
  %37 = load i32, ptr %9, align 4, !tbaa !9
  %38 = load i32, ptr %8, align 4, !tbaa !9
  %39 = sext i32 %38 to i64
  %40 = getelementptr inbounds [50 x i32], ptr @gtype_size, i64 0, i64 %39
  %41 = load i32, ptr %40, align 4, !tbaa !9
  %42 = icmp slt i32 %37, %41
  br i1 %42, label %43, label %64

43:                                               ; preds = %36
  %44 = load i32, ptr %8, align 4, !tbaa !9
  %45 = sext i32 %44 to i64
  %46 = getelementptr inbounds [50 x [2000 x i32]], ptr @gtype_consts, i64 0, i64 %45
  %47 = load i32, ptr %9, align 4, !tbaa !9
  %48 = sext i32 %47 to i64
  %49 = getelementptr inbounds [2000 x i32], ptr %46, i64 0, i64 %48
  %50 = load i32, ptr %49, align 4, !tbaa !9
  %51 = load i32, ptr %7, align 4, !tbaa !9
  %52 = sext i32 %51 to i64
  %53 = getelementptr inbounds [15 x i32], ptr @linst_table, i64 0, i64 %52
  store i32 %50, ptr %53, align 4, !tbaa !9
  %54 = load ptr, ptr %4, align 8, !tbaa !5
  %55 = load ptr, ptr %5, align 8, !tbaa !5
  %56 = load i32, ptr %6, align 4, !tbaa !9
  %57 = add nsw i32 %56, 1
  call void @create_hard_pseudo_effects(ptr noundef %54, ptr noundef %55, i32 noundef %57)
  %58 = load i32, ptr %7, align 4, !tbaa !9
  %59 = sext i32 %58 to i64
  %60 = getelementptr inbounds [15 x i32], ptr @linst_table, i64 0, i64 %59
  store i32 -1, ptr %60, align 4, !tbaa !9
  br label %61

61:                                               ; preds = %43
  %62 = load i32, ptr %9, align 4, !tbaa !9
  %63 = add nsw i32 %62, 1
  store i32 %63, ptr %9, align 4, !tbaa !9
  br label %36, !llvm.loop !17

64:                                               ; preds = %36
  store i32 1, ptr %16, align 4
  br label %716

65:                                               ; preds = %3
  %66 = load ptr, ptr %5, align 8, !tbaa !5
  %67 = getelementptr inbounds %struct._Effect, ptr %66, i32 0, i32 3
  %68 = load ptr, ptr %67, align 8, !tbaa !19
  %69 = call ptr @instantiate_wff(ptr noundef %68)
  store ptr %69, ptr %12, align 8, !tbaa !5
  %70 = load ptr, ptr %12, align 8, !tbaa !5
  %71 = getelementptr inbounds %struct._WffNode, ptr %70, i32 0, i32 0
  %72 = load i32, ptr %71, align 8, !tbaa !20
  %73 = icmp eq i32 %72, 2001
  br i1 %73, label %74, label %76

74:                                               ; preds = %65
  %75 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free_WffNode(ptr noundef %75)
  store i32 1, ptr %16, align 4
  br label %716

76:                                               ; preds = %65
  call void @dnf(ptr noundef %12)
  call void @cleanup_wff(ptr noundef %12)
  %77 = load ptr, ptr %12, align 8, !tbaa !5
  %78 = call i32 @is_dnf(ptr noundef %77)
  %79 = icmp eq i32 %78, -1
  br i1 %79, label %80, label %88

80:                                               ; preds = %76
  %81 = load ptr, ptr %4, align 8, !tbaa !5
  %82 = getelementptr inbounds %struct._PseudoAction, ptr %81, i32 0, i32 0
  %83 = load ptr, ptr %82, align 8, !tbaa !13
  %84 = getelementptr inbounds %struct._Operator, ptr %83, i32 0, i32 0
  %85 = load ptr, ptr %84, align 8, !tbaa !22
  %86 = call i32 (ptr, ...) @printf(ptr noundef @.str.3, ptr noundef %85)
  %87 = load ptr, ptr %12, align 8, !tbaa !5
  call void @print_Wff(ptr noundef %87, i32 noundef 0)
  call void @exit(i32 noundef 1) #6
  unreachable

88:                                               ; preds = %76
  %89 = load ptr, ptr %12, align 8, !tbaa !5
  %90 = getelementptr inbounds %struct._WffNode, ptr %89, i32 0, i32 0
  %91 = load i32, ptr %90, align 8, !tbaa !20
  switch i32 %91, label %709 [
    i32 2007, label %92
    i32 2006, label %383
    i32 2002, label %562
    i32 2003, label %631
    i32 2000, label %687
  ]

92:                                               ; preds = %88
  %93 = load ptr, ptr %12, align 8, !tbaa !5
  %94 = getelementptr inbounds %struct._WffNode, ptr %93, i32 0, i32 4
  %95 = load ptr, ptr %94, align 8, !tbaa !23
  store ptr %95, ptr %13, align 8, !tbaa !5
  br label %96

96:                                               ; preds = %378, %92
  %97 = load ptr, ptr %13, align 8, !tbaa !5
  %98 = icmp ne ptr %97, null
  br i1 %98, label %99, label %382

99:                                               ; preds = %96
  %100 = call ptr @new_PseudoActionEffect()
  store ptr %100, ptr %15, align 8, !tbaa !5
  %101 = load ptr, ptr %13, align 8, !tbaa !5
  %102 = getelementptr inbounds %struct._WffNode, ptr %101, i32 0, i32 0
  %103 = load i32, ptr %102, align 8, !tbaa !20
  %104 = icmp eq i32 %103, 2006
  br i1 %104, label %105, label %263

105:                                              ; preds = %99
  store i32 0, ptr %10, align 4, !tbaa !9
  store i32 0, ptr %11, align 4, !tbaa !9
  %106 = load ptr, ptr %13, align 8, !tbaa !5
  %107 = getelementptr inbounds %struct._WffNode, ptr %106, i32 0, i32 4
  %108 = load ptr, ptr %107, align 8, !tbaa !23
  store ptr %108, ptr %14, align 8, !tbaa !5
  br label %109

109:                                              ; preds = %129, %105
  %110 = load ptr, ptr %14, align 8, !tbaa !5
  %111 = icmp ne ptr %110, null
  br i1 %111, label %112, label %133

112:                                              ; preds = %109
  %113 = load ptr, ptr %14, align 8, !tbaa !5
  %114 = getelementptr inbounds %struct._WffNode, ptr %113, i32 0, i32 0
  %115 = load i32, ptr %114, align 8, !tbaa !20
  %116 = icmp eq i32 %115, 2002
  br i1 %116, label %117, label %120

117:                                              ; preds = %112
  %118 = load i32, ptr %10, align 4, !tbaa !9
  %119 = add nsw i32 %118, 1
  store i32 %119, ptr %10, align 4, !tbaa !9
  br label %120

120:                                              ; preds = %117, %112
  %121 = load ptr, ptr %14, align 8, !tbaa !5
  %122 = getelementptr inbounds %struct._WffNode, ptr %121, i32 0, i32 0
  %123 = load i32, ptr %122, align 8, !tbaa !20
  %124 = icmp eq i32 %123, 2003
  br i1 %124, label %125, label %128

125:                                              ; preds = %120
  %126 = load i32, ptr %11, align 4, !tbaa !9
  %127 = add nsw i32 %126, 1
  store i32 %127, ptr %11, align 4, !tbaa !9
  br label %128

128:                                              ; preds = %125, %120
  br label %129

129:                                              ; preds = %128
  %130 = load ptr, ptr %14, align 8, !tbaa !5
  %131 = getelementptr inbounds %struct._WffNode, ptr %130, i32 0, i32 5
  %132 = load ptr, ptr %131, align 8, !tbaa !24
  store ptr %132, ptr %14, align 8, !tbaa !5
  br label %109, !llvm.loop !25

133:                                              ; preds = %109
  %134 = load i32, ptr %10, align 4, !tbaa !9
  %135 = sext i32 %134 to i64
  %136 = call noalias ptr @calloc(i64 noundef %135, i64 noundef 24) #7
  %137 = load ptr, ptr %15, align 8, !tbaa !5
  %138 = getelementptr inbounds %struct._PseudoActionEffect, ptr %137, i32 0, i32 0
  store ptr %136, ptr %138, align 8, !tbaa !26
  %139 = load i32, ptr %11, align 4, !tbaa !9
  %140 = sext i32 %139 to i64
  %141 = call noalias ptr @calloc(i64 noundef %140, i64 noundef 4) #7
  %142 = load ptr, ptr %15, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct._PseudoActionEffect, ptr %142, i32 0, i32 6
  store ptr %141, ptr %143, align 8, !tbaa !28
  %144 = load i32, ptr %11, align 4, !tbaa !9
  %145 = sext i32 %144 to i64
  %146 = call noalias ptr @calloc(i64 noundef %145, i64 noundef 8) #7
  %147 = load ptr, ptr %15, align 8, !tbaa !5
  %148 = getelementptr inbounds %struct._PseudoActionEffect, ptr %147, i32 0, i32 7
  store ptr %146, ptr %148, align 8, !tbaa !29
  %149 = load i32, ptr %11, align 4, !tbaa !9
  %150 = sext i32 %149 to i64
  %151 = call noalias ptr @calloc(i64 noundef %150, i64 noundef 8) #7
  %152 = load ptr, ptr %15, align 8, !tbaa !5
  %153 = getelementptr inbounds %struct._PseudoActionEffect, ptr %152, i32 0, i32 8
  store ptr %151, ptr %153, align 8, !tbaa !30
  %154 = load i32, ptr %10, align 4, !tbaa !9
  %155 = load ptr, ptr %15, align 8, !tbaa !5
  %156 = getelementptr inbounds %struct._PseudoActionEffect, ptr %155, i32 0, i32 1
  store i32 %154, ptr %156, align 8, !tbaa !31
  %157 = load i32, ptr %11, align 4, !tbaa !9
  %158 = load ptr, ptr %15, align 8, !tbaa !5
  %159 = getelementptr inbounds %struct._PseudoActionEffect, ptr %158, i32 0, i32 9
  store i32 %157, ptr %159, align 8, !tbaa !32
  store i32 0, ptr %10, align 4, !tbaa !9
  store i32 0, ptr %11, align 4, !tbaa !9
  %160 = load ptr, ptr %13, align 8, !tbaa !5
  %161 = getelementptr inbounds %struct._WffNode, ptr %160, i32 0, i32 4
  %162 = load ptr, ptr %161, align 8, !tbaa !23
  store ptr %162, ptr %14, align 8, !tbaa !5
  br label %163

163:                                              ; preds = %258, %133
  %164 = load ptr, ptr %14, align 8, !tbaa !5
  %165 = icmp ne ptr %164, null
  br i1 %165, label %166, label %262

166:                                              ; preds = %163
  %167 = load ptr, ptr %14, align 8, !tbaa !5
  %168 = getelementptr inbounds %struct._WffNode, ptr %167, i32 0, i32 0
  %169 = load i32, ptr %168, align 8, !tbaa !20
  %170 = icmp eq i32 %169, 2002
  br i1 %170, label %171, label %220

171:                                              ; preds = %166
  %172 = load ptr, ptr %14, align 8, !tbaa !5
  %173 = getelementptr inbounds %struct._WffNode, ptr %172, i32 0, i32 7
  %174 = load ptr, ptr %173, align 8, !tbaa !33
  %175 = getelementptr inbounds %struct._Fact, ptr %174, i32 0, i32 0
  %176 = load i32, ptr %175, align 4, !tbaa !34
  %177 = load ptr, ptr %15, align 8, !tbaa !5
  %178 = getelementptr inbounds %struct._PseudoActionEffect, ptr %177, i32 0, i32 0
  %179 = load ptr, ptr %178, align 8, !tbaa !26
  %180 = load i32, ptr %10, align 4, !tbaa !9
  %181 = sext i32 %180 to i64
  %182 = getelementptr inbounds %struct._Fact, ptr %179, i64 %181
  %183 = getelementptr inbounds %struct._Fact, ptr %182, i32 0, i32 0
  store i32 %176, ptr %183, align 4, !tbaa !34
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %184

184:                                              ; preds = %214, %171
  %185 = load i32, ptr %9, align 4, !tbaa !9
  %186 = load ptr, ptr %14, align 8, !tbaa !5
  %187 = getelementptr inbounds %struct._WffNode, ptr %186, i32 0, i32 7
  %188 = load ptr, ptr %187, align 8, !tbaa !33
  %189 = getelementptr inbounds %struct._Fact, ptr %188, i32 0, i32 0
  %190 = load i32, ptr %189, align 4, !tbaa !34
  %191 = sext i32 %190 to i64
  %192 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %191
  %193 = load i32, ptr %192, align 4, !tbaa !9
  %194 = icmp slt i32 %185, %193
  br i1 %194, label %195, label %217

195:                                              ; preds = %184
  %196 = load ptr, ptr %14, align 8, !tbaa !5
  %197 = getelementptr inbounds %struct._WffNode, ptr %196, i32 0, i32 7
  %198 = load ptr, ptr %197, align 8, !tbaa !33
  %199 = getelementptr inbounds %struct._Fact, ptr %198, i32 0, i32 1
  %200 = load i32, ptr %9, align 4, !tbaa !9
  %201 = sext i32 %200 to i64
  %202 = getelementptr inbounds [5 x i32], ptr %199, i64 0, i64 %201
  %203 = load i32, ptr %202, align 4, !tbaa !9
  %204 = load ptr, ptr %15, align 8, !tbaa !5
  %205 = getelementptr inbounds %struct._PseudoActionEffect, ptr %204, i32 0, i32 0
  %206 = load ptr, ptr %205, align 8, !tbaa !26
  %207 = load i32, ptr %10, align 4, !tbaa !9
  %208 = sext i32 %207 to i64
  %209 = getelementptr inbounds %struct._Fact, ptr %206, i64 %208
  %210 = getelementptr inbounds %struct._Fact, ptr %209, i32 0, i32 1
  %211 = load i32, ptr %9, align 4, !tbaa !9
  %212 = sext i32 %211 to i64
  %213 = getelementptr inbounds [5 x i32], ptr %210, i64 0, i64 %212
  store i32 %203, ptr %213, align 4, !tbaa !9
  br label %214

214:                                              ; preds = %195
  %215 = load i32, ptr %9, align 4, !tbaa !9
  %216 = add nsw i32 %215, 1
  store i32 %216, ptr %9, align 4, !tbaa !9
  br label %184, !llvm.loop !36

217:                                              ; preds = %184
  %218 = load i32, ptr %10, align 4, !tbaa !9
  %219 = add nsw i32 %218, 1
  store i32 %219, ptr %10, align 4, !tbaa !9
  br label %220

220:                                              ; preds = %217, %166
  %221 = load ptr, ptr %14, align 8, !tbaa !5
  %222 = getelementptr inbounds %struct._WffNode, ptr %221, i32 0, i32 0
  %223 = load i32, ptr %222, align 8, !tbaa !20
  %224 = icmp eq i32 %223, 2003
  br i1 %224, label %225, label %257

225:                                              ; preds = %220
  %226 = load ptr, ptr %14, align 8, !tbaa !5
  %227 = getelementptr inbounds %struct._WffNode, ptr %226, i32 0, i32 10
  %228 = load i32, ptr %227, align 8, !tbaa !37
  %229 = load ptr, ptr %15, align 8, !tbaa !5
  %230 = getelementptr inbounds %struct._PseudoActionEffect, ptr %229, i32 0, i32 6
  %231 = load ptr, ptr %230, align 8, !tbaa !28
  %232 = load i32, ptr %11, align 4, !tbaa !9
  %233 = sext i32 %232 to i64
  %234 = getelementptr inbounds i32, ptr %231, i64 %233
  store i32 %228, ptr %234, align 4, !tbaa !9
  %235 = load ptr, ptr %14, align 8, !tbaa !5
  %236 = getelementptr inbounds %struct._WffNode, ptr %235, i32 0, i32 11
  %237 = load ptr, ptr %236, align 8, !tbaa !38
  %238 = call ptr @copy_Exp(ptr noundef %237)
  %239 = load ptr, ptr %15, align 8, !tbaa !5
  %240 = getelementptr inbounds %struct._PseudoActionEffect, ptr %239, i32 0, i32 7
  %241 = load ptr, ptr %240, align 8, !tbaa !29
  %242 = load i32, ptr %11, align 4, !tbaa !9
  %243 = sext i32 %242 to i64
  %244 = getelementptr inbounds ptr, ptr %241, i64 %243
  store ptr %238, ptr %244, align 8, !tbaa !5
  %245 = load ptr, ptr %14, align 8, !tbaa !5
  %246 = getelementptr inbounds %struct._WffNode, ptr %245, i32 0, i32 12
  %247 = load ptr, ptr %246, align 8, !tbaa !39
  %248 = call ptr @copy_Exp(ptr noundef %247)
  %249 = load ptr, ptr %15, align 8, !tbaa !5
  %250 = getelementptr inbounds %struct._PseudoActionEffect, ptr %249, i32 0, i32 8
  %251 = load ptr, ptr %250, align 8, !tbaa !30
  %252 = load i32, ptr %11, align 4, !tbaa !9
  %253 = sext i32 %252 to i64
  %254 = getelementptr inbounds ptr, ptr %251, i64 %253
  store ptr %248, ptr %254, align 8, !tbaa !5
  %255 = load i32, ptr %11, align 4, !tbaa !9
  %256 = add nsw i32 %255, 1
  store i32 %256, ptr %11, align 4, !tbaa !9
  br label %257

257:                                              ; preds = %225, %220
  br label %258

258:                                              ; preds = %257
  %259 = load ptr, ptr %14, align 8, !tbaa !5
  %260 = getelementptr inbounds %struct._WffNode, ptr %259, i32 0, i32 5
  %261 = load ptr, ptr %260, align 8, !tbaa !24
  store ptr %261, ptr %14, align 8, !tbaa !5
  br label %163, !llvm.loop !40

262:                                              ; preds = %163
  br label %357

263:                                              ; preds = %99
  %264 = load ptr, ptr %13, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct._WffNode, ptr %264, i32 0, i32 0
  %266 = load i32, ptr %265, align 8, !tbaa !20
  %267 = icmp eq i32 %266, 2002
  br i1 %267, label %268, label %316

268:                                              ; preds = %263
  %269 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 24) #7
  %270 = load ptr, ptr %15, align 8, !tbaa !5
  %271 = getelementptr inbounds %struct._PseudoActionEffect, ptr %270, i32 0, i32 0
  store ptr %269, ptr %271, align 8, !tbaa !26
  %272 = load ptr, ptr %15, align 8, !tbaa !5
  %273 = getelementptr inbounds %struct._PseudoActionEffect, ptr %272, i32 0, i32 1
  store i32 1, ptr %273, align 8, !tbaa !31
  %274 = load ptr, ptr %13, align 8, !tbaa !5
  %275 = getelementptr inbounds %struct._WffNode, ptr %274, i32 0, i32 7
  %276 = load ptr, ptr %275, align 8, !tbaa !33
  %277 = getelementptr inbounds %struct._Fact, ptr %276, i32 0, i32 0
  %278 = load i32, ptr %277, align 4, !tbaa !34
  %279 = load ptr, ptr %15, align 8, !tbaa !5
  %280 = getelementptr inbounds %struct._PseudoActionEffect, ptr %279, i32 0, i32 0
  %281 = load ptr, ptr %280, align 8, !tbaa !26
  %282 = getelementptr inbounds %struct._Fact, ptr %281, i64 0
  %283 = getelementptr inbounds %struct._Fact, ptr %282, i32 0, i32 0
  store i32 %278, ptr %283, align 4, !tbaa !34
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %284

284:                                              ; preds = %312, %268
  %285 = load i32, ptr %9, align 4, !tbaa !9
  %286 = load ptr, ptr %13, align 8, !tbaa !5
  %287 = getelementptr inbounds %struct._WffNode, ptr %286, i32 0, i32 7
  %288 = load ptr, ptr %287, align 8, !tbaa !33
  %289 = getelementptr inbounds %struct._Fact, ptr %288, i32 0, i32 0
  %290 = load i32, ptr %289, align 4, !tbaa !34
  %291 = sext i32 %290 to i64
  %292 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %291
  %293 = load i32, ptr %292, align 4, !tbaa !9
  %294 = icmp slt i32 %285, %293
  br i1 %294, label %295, label %315

295:                                              ; preds = %284
  %296 = load ptr, ptr %13, align 8, !tbaa !5
  %297 = getelementptr inbounds %struct._WffNode, ptr %296, i32 0, i32 7
  %298 = load ptr, ptr %297, align 8, !tbaa !33
  %299 = getelementptr inbounds %struct._Fact, ptr %298, i32 0, i32 1
  %300 = load i32, ptr %9, align 4, !tbaa !9
  %301 = sext i32 %300 to i64
  %302 = getelementptr inbounds [5 x i32], ptr %299, i64 0, i64 %301
  %303 = load i32, ptr %302, align 4, !tbaa !9
  %304 = load ptr, ptr %15, align 8, !tbaa !5
  %305 = getelementptr inbounds %struct._PseudoActionEffect, ptr %304, i32 0, i32 0
  %306 = load ptr, ptr %305, align 8, !tbaa !26
  %307 = getelementptr inbounds %struct._Fact, ptr %306, i64 0
  %308 = getelementptr inbounds %struct._Fact, ptr %307, i32 0, i32 1
  %309 = load i32, ptr %9, align 4, !tbaa !9
  %310 = sext i32 %309 to i64
  %311 = getelementptr inbounds [5 x i32], ptr %308, i64 0, i64 %310
  store i32 %303, ptr %311, align 4, !tbaa !9
  br label %312

312:                                              ; preds = %295
  %313 = load i32, ptr %9, align 4, !tbaa !9
  %314 = add nsw i32 %313, 1
  store i32 %314, ptr %9, align 4, !tbaa !9
  br label %284, !llvm.loop !41

315:                                              ; preds = %284
  br label %316

316:                                              ; preds = %315, %263
  %317 = load ptr, ptr %13, align 8, !tbaa !5
  %318 = getelementptr inbounds %struct._WffNode, ptr %317, i32 0, i32 0
  %319 = load i32, ptr %318, align 8, !tbaa !20
  %320 = icmp eq i32 %319, 2003
  br i1 %320, label %321, label %356

321:                                              ; preds = %316
  %322 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 4) #7
  %323 = load ptr, ptr %15, align 8, !tbaa !5
  %324 = getelementptr inbounds %struct._PseudoActionEffect, ptr %323, i32 0, i32 6
  store ptr %322, ptr %324, align 8, !tbaa !28
  %325 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 8) #7
  %326 = load ptr, ptr %15, align 8, !tbaa !5
  %327 = getelementptr inbounds %struct._PseudoActionEffect, ptr %326, i32 0, i32 7
  store ptr %325, ptr %327, align 8, !tbaa !29
  %328 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 8) #7
  %329 = load ptr, ptr %15, align 8, !tbaa !5
  %330 = getelementptr inbounds %struct._PseudoActionEffect, ptr %329, i32 0, i32 8
  store ptr %328, ptr %330, align 8, !tbaa !30
  %331 = load ptr, ptr %13, align 8, !tbaa !5
  %332 = getelementptr inbounds %struct._WffNode, ptr %331, i32 0, i32 10
  %333 = load i32, ptr %332, align 8, !tbaa !37
  %334 = load ptr, ptr %15, align 8, !tbaa !5
  %335 = getelementptr inbounds %struct._PseudoActionEffect, ptr %334, i32 0, i32 6
  %336 = load ptr, ptr %335, align 8, !tbaa !28
  %337 = getelementptr inbounds i32, ptr %336, i64 0
  store i32 %333, ptr %337, align 4, !tbaa !9
  %338 = load ptr, ptr %13, align 8, !tbaa !5
  %339 = getelementptr inbounds %struct._WffNode, ptr %338, i32 0, i32 11
  %340 = load ptr, ptr %339, align 8, !tbaa !38
  %341 = call ptr @copy_Exp(ptr noundef %340)
  %342 = load ptr, ptr %15, align 8, !tbaa !5
  %343 = getelementptr inbounds %struct._PseudoActionEffect, ptr %342, i32 0, i32 7
  %344 = load ptr, ptr %343, align 8, !tbaa !29
  %345 = getelementptr inbounds ptr, ptr %344, i64 0
  store ptr %341, ptr %345, align 8, !tbaa !5
  %346 = load ptr, ptr %13, align 8, !tbaa !5
  %347 = getelementptr inbounds %struct._WffNode, ptr %346, i32 0, i32 12
  %348 = load ptr, ptr %347, align 8, !tbaa !39
  %349 = call ptr @copy_Exp(ptr noundef %348)
  %350 = load ptr, ptr %15, align 8, !tbaa !5
  %351 = getelementptr inbounds %struct._PseudoActionEffect, ptr %350, i32 0, i32 8
  %352 = load ptr, ptr %351, align 8, !tbaa !30
  %353 = getelementptr inbounds ptr, ptr %352, i64 0
  store ptr %349, ptr %353, align 8, !tbaa !5
  %354 = load ptr, ptr %15, align 8, !tbaa !5
  %355 = getelementptr inbounds %struct._PseudoActionEffect, ptr %354, i32 0, i32 9
  store i32 1, ptr %355, align 8, !tbaa !32
  br label %356

356:                                              ; preds = %321, %316
  br label %357

357:                                              ; preds = %356, %262
  %358 = load ptr, ptr %15, align 8, !tbaa !5
  %359 = load ptr, ptr %5, align 8, !tbaa !5
  %360 = getelementptr inbounds %struct._Effect, ptr %359, i32 0, i32 4
  %361 = load ptr, ptr %360, align 8, !tbaa !42
  call void @make_instantiate_literals(ptr noundef %358, ptr noundef %361)
  %362 = load ptr, ptr %15, align 8, !tbaa !5
  %363 = load ptr, ptr %5, align 8, !tbaa !5
  %364 = getelementptr inbounds %struct._Effect, ptr %363, i32 0, i32 5
  %365 = load ptr, ptr %364, align 8, !tbaa !43
  call void @make_instantiate_numeric_effects(ptr noundef %362, ptr noundef %365)
  %366 = load ptr, ptr %4, align 8, !tbaa !5
  %367 = getelementptr inbounds %struct._PseudoAction, ptr %366, i32 0, i32 8
  %368 = load ptr, ptr %367, align 8, !tbaa !44
  %369 = load ptr, ptr %15, align 8, !tbaa !5
  %370 = getelementptr inbounds %struct._PseudoActionEffect, ptr %369, i32 0, i32 14
  store ptr %368, ptr %370, align 8, !tbaa !45
  %371 = load ptr, ptr %15, align 8, !tbaa !5
  %372 = load ptr, ptr %4, align 8, !tbaa !5
  %373 = getelementptr inbounds %struct._PseudoAction, ptr %372, i32 0, i32 8
  store ptr %371, ptr %373, align 8, !tbaa !44
  %374 = load ptr, ptr %4, align 8, !tbaa !5
  %375 = getelementptr inbounds %struct._PseudoAction, ptr %374, i32 0, i32 9
  %376 = load i32, ptr %375, align 8, !tbaa !46
  %377 = add nsw i32 %376, 1
  store i32 %377, ptr %375, align 8, !tbaa !46
  br label %378

378:                                              ; preds = %357
  %379 = load ptr, ptr %13, align 8, !tbaa !5
  %380 = getelementptr inbounds %struct._WffNode, ptr %379, i32 0, i32 5
  %381 = load ptr, ptr %380, align 8, !tbaa !24
  store ptr %381, ptr %13, align 8, !tbaa !5
  br label %96, !llvm.loop !47

382:                                              ; preds = %96
  br label %714

383:                                              ; preds = %88
  %384 = call ptr @new_PseudoActionEffect()
  store ptr %384, ptr %15, align 8, !tbaa !5
  store i32 0, ptr %10, align 4, !tbaa !9
  store i32 0, ptr %11, align 4, !tbaa !9
  %385 = load ptr, ptr %12, align 8, !tbaa !5
  %386 = getelementptr inbounds %struct._WffNode, ptr %385, i32 0, i32 4
  %387 = load ptr, ptr %386, align 8, !tbaa !23
  store ptr %387, ptr %13, align 8, !tbaa !5
  br label %388

388:                                              ; preds = %408, %383
  %389 = load ptr, ptr %13, align 8, !tbaa !5
  %390 = icmp ne ptr %389, null
  br i1 %390, label %391, label %412

391:                                              ; preds = %388
  %392 = load ptr, ptr %13, align 8, !tbaa !5
  %393 = getelementptr inbounds %struct._WffNode, ptr %392, i32 0, i32 0
  %394 = load i32, ptr %393, align 8, !tbaa !20
  %395 = icmp eq i32 %394, 2002
  br i1 %395, label %396, label %399

396:                                              ; preds = %391
  %397 = load i32, ptr %10, align 4, !tbaa !9
  %398 = add nsw i32 %397, 1
  store i32 %398, ptr %10, align 4, !tbaa !9
  br label %399

399:                                              ; preds = %396, %391
  %400 = load ptr, ptr %13, align 8, !tbaa !5
  %401 = getelementptr inbounds %struct._WffNode, ptr %400, i32 0, i32 0
  %402 = load i32, ptr %401, align 8, !tbaa !20
  %403 = icmp eq i32 %402, 2003
  br i1 %403, label %404, label %407

404:                                              ; preds = %399
  %405 = load i32, ptr %11, align 4, !tbaa !9
  %406 = add nsw i32 %405, 1
  store i32 %406, ptr %11, align 4, !tbaa !9
  br label %407

407:                                              ; preds = %404, %399
  br label %408

408:                                              ; preds = %407
  %409 = load ptr, ptr %13, align 8, !tbaa !5
  %410 = getelementptr inbounds %struct._WffNode, ptr %409, i32 0, i32 5
  %411 = load ptr, ptr %410, align 8, !tbaa !24
  store ptr %411, ptr %13, align 8, !tbaa !5
  br label %388, !llvm.loop !48

412:                                              ; preds = %388
  %413 = load i32, ptr %10, align 4, !tbaa !9
  %414 = sext i32 %413 to i64
  %415 = call noalias ptr @calloc(i64 noundef %414, i64 noundef 24) #7
  %416 = load ptr, ptr %15, align 8, !tbaa !5
  %417 = getelementptr inbounds %struct._PseudoActionEffect, ptr %416, i32 0, i32 0
  store ptr %415, ptr %417, align 8, !tbaa !26
  %418 = load i32, ptr %11, align 4, !tbaa !9
  %419 = sext i32 %418 to i64
  %420 = call noalias ptr @calloc(i64 noundef %419, i64 noundef 4) #7
  %421 = load ptr, ptr %15, align 8, !tbaa !5
  %422 = getelementptr inbounds %struct._PseudoActionEffect, ptr %421, i32 0, i32 6
  store ptr %420, ptr %422, align 8, !tbaa !28
  %423 = load i32, ptr %11, align 4, !tbaa !9
  %424 = sext i32 %423 to i64
  %425 = call noalias ptr @calloc(i64 noundef %424, i64 noundef 8) #7
  %426 = load ptr, ptr %15, align 8, !tbaa !5
  %427 = getelementptr inbounds %struct._PseudoActionEffect, ptr %426, i32 0, i32 7
  store ptr %425, ptr %427, align 8, !tbaa !29
  %428 = load i32, ptr %11, align 4, !tbaa !9
  %429 = sext i32 %428 to i64
  %430 = call noalias ptr @calloc(i64 noundef %429, i64 noundef 8) #7
  %431 = load ptr, ptr %15, align 8, !tbaa !5
  %432 = getelementptr inbounds %struct._PseudoActionEffect, ptr %431, i32 0, i32 8
  store ptr %430, ptr %432, align 8, !tbaa !30
  %433 = load i32, ptr %10, align 4, !tbaa !9
  %434 = load ptr, ptr %15, align 8, !tbaa !5
  %435 = getelementptr inbounds %struct._PseudoActionEffect, ptr %434, i32 0, i32 1
  store i32 %433, ptr %435, align 8, !tbaa !31
  %436 = load i32, ptr %11, align 4, !tbaa !9
  %437 = load ptr, ptr %15, align 8, !tbaa !5
  %438 = getelementptr inbounds %struct._PseudoActionEffect, ptr %437, i32 0, i32 9
  store i32 %436, ptr %438, align 8, !tbaa !32
  store i32 0, ptr %10, align 4, !tbaa !9
  store i32 0, ptr %11, align 4, !tbaa !9
  %439 = load ptr, ptr %12, align 8, !tbaa !5
  %440 = getelementptr inbounds %struct._WffNode, ptr %439, i32 0, i32 4
  %441 = load ptr, ptr %440, align 8, !tbaa !23
  store ptr %441, ptr %13, align 8, !tbaa !5
  br label %442

442:                                              ; preds = %537, %412
  %443 = load ptr, ptr %13, align 8, !tbaa !5
  %444 = icmp ne ptr %443, null
  br i1 %444, label %445, label %541

445:                                              ; preds = %442
  %446 = load ptr, ptr %13, align 8, !tbaa !5
  %447 = getelementptr inbounds %struct._WffNode, ptr %446, i32 0, i32 0
  %448 = load i32, ptr %447, align 8, !tbaa !20
  %449 = icmp eq i32 %448, 2002
  br i1 %449, label %450, label %499

450:                                              ; preds = %445
  %451 = load ptr, ptr %13, align 8, !tbaa !5
  %452 = getelementptr inbounds %struct._WffNode, ptr %451, i32 0, i32 7
  %453 = load ptr, ptr %452, align 8, !tbaa !33
  %454 = getelementptr inbounds %struct._Fact, ptr %453, i32 0, i32 0
  %455 = load i32, ptr %454, align 4, !tbaa !34
  %456 = load ptr, ptr %15, align 8, !tbaa !5
  %457 = getelementptr inbounds %struct._PseudoActionEffect, ptr %456, i32 0, i32 0
  %458 = load ptr, ptr %457, align 8, !tbaa !26
  %459 = load i32, ptr %10, align 4, !tbaa !9
  %460 = sext i32 %459 to i64
  %461 = getelementptr inbounds %struct._Fact, ptr %458, i64 %460
  %462 = getelementptr inbounds %struct._Fact, ptr %461, i32 0, i32 0
  store i32 %455, ptr %462, align 4, !tbaa !34
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %463

463:                                              ; preds = %493, %450
  %464 = load i32, ptr %9, align 4, !tbaa !9
  %465 = load ptr, ptr %13, align 8, !tbaa !5
  %466 = getelementptr inbounds %struct._WffNode, ptr %465, i32 0, i32 7
  %467 = load ptr, ptr %466, align 8, !tbaa !33
  %468 = getelementptr inbounds %struct._Fact, ptr %467, i32 0, i32 0
  %469 = load i32, ptr %468, align 4, !tbaa !34
  %470 = sext i32 %469 to i64
  %471 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %470
  %472 = load i32, ptr %471, align 4, !tbaa !9
  %473 = icmp slt i32 %464, %472
  br i1 %473, label %474, label %496

474:                                              ; preds = %463
  %475 = load ptr, ptr %13, align 8, !tbaa !5
  %476 = getelementptr inbounds %struct._WffNode, ptr %475, i32 0, i32 7
  %477 = load ptr, ptr %476, align 8, !tbaa !33
  %478 = getelementptr inbounds %struct._Fact, ptr %477, i32 0, i32 1
  %479 = load i32, ptr %9, align 4, !tbaa !9
  %480 = sext i32 %479 to i64
  %481 = getelementptr inbounds [5 x i32], ptr %478, i64 0, i64 %480
  %482 = load i32, ptr %481, align 4, !tbaa !9
  %483 = load ptr, ptr %15, align 8, !tbaa !5
  %484 = getelementptr inbounds %struct._PseudoActionEffect, ptr %483, i32 0, i32 0
  %485 = load ptr, ptr %484, align 8, !tbaa !26
  %486 = load i32, ptr %10, align 4, !tbaa !9
  %487 = sext i32 %486 to i64
  %488 = getelementptr inbounds %struct._Fact, ptr %485, i64 %487
  %489 = getelementptr inbounds %struct._Fact, ptr %488, i32 0, i32 1
  %490 = load i32, ptr %9, align 4, !tbaa !9
  %491 = sext i32 %490 to i64
  %492 = getelementptr inbounds [5 x i32], ptr %489, i64 0, i64 %491
  store i32 %482, ptr %492, align 4, !tbaa !9
  br label %493

493:                                              ; preds = %474
  %494 = load i32, ptr %9, align 4, !tbaa !9
  %495 = add nsw i32 %494, 1
  store i32 %495, ptr %9, align 4, !tbaa !9
  br label %463, !llvm.loop !49

496:                                              ; preds = %463
  %497 = load i32, ptr %10, align 4, !tbaa !9
  %498 = add nsw i32 %497, 1
  store i32 %498, ptr %10, align 4, !tbaa !9
  br label %499

499:                                              ; preds = %496, %445
  %500 = load ptr, ptr %13, align 8, !tbaa !5
  %501 = getelementptr inbounds %struct._WffNode, ptr %500, i32 0, i32 0
  %502 = load i32, ptr %501, align 8, !tbaa !20
  %503 = icmp eq i32 %502, 2003
  br i1 %503, label %504, label %536

504:                                              ; preds = %499
  %505 = load ptr, ptr %13, align 8, !tbaa !5
  %506 = getelementptr inbounds %struct._WffNode, ptr %505, i32 0, i32 10
  %507 = load i32, ptr %506, align 8, !tbaa !37
  %508 = load ptr, ptr %15, align 8, !tbaa !5
  %509 = getelementptr inbounds %struct._PseudoActionEffect, ptr %508, i32 0, i32 6
  %510 = load ptr, ptr %509, align 8, !tbaa !28
  %511 = load i32, ptr %11, align 4, !tbaa !9
  %512 = sext i32 %511 to i64
  %513 = getelementptr inbounds i32, ptr %510, i64 %512
  store i32 %507, ptr %513, align 4, !tbaa !9
  %514 = load ptr, ptr %13, align 8, !tbaa !5
  %515 = getelementptr inbounds %struct._WffNode, ptr %514, i32 0, i32 11
  %516 = load ptr, ptr %515, align 8, !tbaa !38
  %517 = call ptr @copy_Exp(ptr noundef %516)
  %518 = load ptr, ptr %15, align 8, !tbaa !5
  %519 = getelementptr inbounds %struct._PseudoActionEffect, ptr %518, i32 0, i32 7
  %520 = load ptr, ptr %519, align 8, !tbaa !29
  %521 = load i32, ptr %11, align 4, !tbaa !9
  %522 = sext i32 %521 to i64
  %523 = getelementptr inbounds ptr, ptr %520, i64 %522
  store ptr %517, ptr %523, align 8, !tbaa !5
  %524 = load ptr, ptr %13, align 8, !tbaa !5
  %525 = getelementptr inbounds %struct._WffNode, ptr %524, i32 0, i32 12
  %526 = load ptr, ptr %525, align 8, !tbaa !39
  %527 = call ptr @copy_Exp(ptr noundef %526)
  %528 = load ptr, ptr %15, align 8, !tbaa !5
  %529 = getelementptr inbounds %struct._PseudoActionEffect, ptr %528, i32 0, i32 8
  %530 = load ptr, ptr %529, align 8, !tbaa !30
  %531 = load i32, ptr %11, align 4, !tbaa !9
  %532 = sext i32 %531 to i64
  %533 = getelementptr inbounds ptr, ptr %530, i64 %532
  store ptr %527, ptr %533, align 8, !tbaa !5
  %534 = load i32, ptr %11, align 4, !tbaa !9
  %535 = add nsw i32 %534, 1
  store i32 %535, ptr %11, align 4, !tbaa !9
  br label %536

536:                                              ; preds = %504, %499
  br label %537

537:                                              ; preds = %536
  %538 = load ptr, ptr %13, align 8, !tbaa !5
  %539 = getelementptr inbounds %struct._WffNode, ptr %538, i32 0, i32 5
  %540 = load ptr, ptr %539, align 8, !tbaa !24
  store ptr %540, ptr %13, align 8, !tbaa !5
  br label %442, !llvm.loop !50

541:                                              ; preds = %442
  %542 = load ptr, ptr %15, align 8, !tbaa !5
  %543 = load ptr, ptr %5, align 8, !tbaa !5
  %544 = getelementptr inbounds %struct._Effect, ptr %543, i32 0, i32 4
  %545 = load ptr, ptr %544, align 8, !tbaa !42
  call void @make_instantiate_literals(ptr noundef %542, ptr noundef %545)
  %546 = load ptr, ptr %15, align 8, !tbaa !5
  %547 = load ptr, ptr %5, align 8, !tbaa !5
  %548 = getelementptr inbounds %struct._Effect, ptr %547, i32 0, i32 5
  %549 = load ptr, ptr %548, align 8, !tbaa !43
  call void @make_instantiate_numeric_effects(ptr noundef %546, ptr noundef %549)
  %550 = load ptr, ptr %4, align 8, !tbaa !5
  %551 = getelementptr inbounds %struct._PseudoAction, ptr %550, i32 0, i32 8
  %552 = load ptr, ptr %551, align 8, !tbaa !44
  %553 = load ptr, ptr %15, align 8, !tbaa !5
  %554 = getelementptr inbounds %struct._PseudoActionEffect, ptr %553, i32 0, i32 14
  store ptr %552, ptr %554, align 8, !tbaa !45
  %555 = load ptr, ptr %15, align 8, !tbaa !5
  %556 = load ptr, ptr %4, align 8, !tbaa !5
  %557 = getelementptr inbounds %struct._PseudoAction, ptr %556, i32 0, i32 8
  store ptr %555, ptr %557, align 8, !tbaa !44
  %558 = load ptr, ptr %4, align 8, !tbaa !5
  %559 = getelementptr inbounds %struct._PseudoAction, ptr %558, i32 0, i32 9
  %560 = load i32, ptr %559, align 8, !tbaa !46
  %561 = add nsw i32 %560, 1
  store i32 %561, ptr %559, align 8, !tbaa !46
  br label %714

562:                                              ; preds = %88
  %563 = call ptr @new_PseudoActionEffect()
  store ptr %563, ptr %15, align 8, !tbaa !5
  %564 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 24) #7
  %565 = load ptr, ptr %15, align 8, !tbaa !5
  %566 = getelementptr inbounds %struct._PseudoActionEffect, ptr %565, i32 0, i32 0
  store ptr %564, ptr %566, align 8, !tbaa !26
  %567 = load ptr, ptr %15, align 8, !tbaa !5
  %568 = getelementptr inbounds %struct._PseudoActionEffect, ptr %567, i32 0, i32 1
  store i32 1, ptr %568, align 8, !tbaa !31
  %569 = load ptr, ptr %12, align 8, !tbaa !5
  %570 = getelementptr inbounds %struct._WffNode, ptr %569, i32 0, i32 7
  %571 = load ptr, ptr %570, align 8, !tbaa !33
  %572 = getelementptr inbounds %struct._Fact, ptr %571, i32 0, i32 0
  %573 = load i32, ptr %572, align 4, !tbaa !34
  %574 = load ptr, ptr %15, align 8, !tbaa !5
  %575 = getelementptr inbounds %struct._PseudoActionEffect, ptr %574, i32 0, i32 0
  %576 = load ptr, ptr %575, align 8, !tbaa !26
  %577 = getelementptr inbounds %struct._Fact, ptr %576, i64 0
  %578 = getelementptr inbounds %struct._Fact, ptr %577, i32 0, i32 0
  store i32 %573, ptr %578, align 4, !tbaa !34
  store i32 0, ptr %9, align 4, !tbaa !9
  br label %579

579:                                              ; preds = %607, %562
  %580 = load i32, ptr %9, align 4, !tbaa !9
  %581 = load ptr, ptr %12, align 8, !tbaa !5
  %582 = getelementptr inbounds %struct._WffNode, ptr %581, i32 0, i32 7
  %583 = load ptr, ptr %582, align 8, !tbaa !33
  %584 = getelementptr inbounds %struct._Fact, ptr %583, i32 0, i32 0
  %585 = load i32, ptr %584, align 4, !tbaa !34
  %586 = sext i32 %585 to i64
  %587 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %586
  %588 = load i32, ptr %587, align 4, !tbaa !9
  %589 = icmp slt i32 %580, %588
  br i1 %589, label %590, label %610

590:                                              ; preds = %579
  %591 = load ptr, ptr %12, align 8, !tbaa !5
  %592 = getelementptr inbounds %struct._WffNode, ptr %591, i32 0, i32 7
  %593 = load ptr, ptr %592, align 8, !tbaa !33
  %594 = getelementptr inbounds %struct._Fact, ptr %593, i32 0, i32 1
  %595 = load i32, ptr %9, align 4, !tbaa !9
  %596 = sext i32 %595 to i64
  %597 = getelementptr inbounds [5 x i32], ptr %594, i64 0, i64 %596
  %598 = load i32, ptr %597, align 4, !tbaa !9
  %599 = load ptr, ptr %15, align 8, !tbaa !5
  %600 = getelementptr inbounds %struct._PseudoActionEffect, ptr %599, i32 0, i32 0
  %601 = load ptr, ptr %600, align 8, !tbaa !26
  %602 = getelementptr inbounds %struct._Fact, ptr %601, i64 0
  %603 = getelementptr inbounds %struct._Fact, ptr %602, i32 0, i32 1
  %604 = load i32, ptr %9, align 4, !tbaa !9
  %605 = sext i32 %604 to i64
  %606 = getelementptr inbounds [5 x i32], ptr %603, i64 0, i64 %605
  store i32 %598, ptr %606, align 4, !tbaa !9
  br label %607

607:                                              ; preds = %590
  %608 = load i32, ptr %9, align 4, !tbaa !9
  %609 = add nsw i32 %608, 1
  store i32 %609, ptr %9, align 4, !tbaa !9
  br label %579, !llvm.loop !51

610:                                              ; preds = %579
  %611 = load ptr, ptr %15, align 8, !tbaa !5
  %612 = load ptr, ptr %5, align 8, !tbaa !5
  %613 = getelementptr inbounds %struct._Effect, ptr %612, i32 0, i32 4
  %614 = load ptr, ptr %613, align 8, !tbaa !42
  call void @make_instantiate_literals(ptr noundef %611, ptr noundef %614)
  %615 = load ptr, ptr %15, align 8, !tbaa !5
  %616 = load ptr, ptr %5, align 8, !tbaa !5
  %617 = getelementptr inbounds %struct._Effect, ptr %616, i32 0, i32 5
  %618 = load ptr, ptr %617, align 8, !tbaa !43
  call void @make_instantiate_numeric_effects(ptr noundef %615, ptr noundef %618)
  %619 = load ptr, ptr %4, align 8, !tbaa !5
  %620 = getelementptr inbounds %struct._PseudoAction, ptr %619, i32 0, i32 8
  %621 = load ptr, ptr %620, align 8, !tbaa !44
  %622 = load ptr, ptr %15, align 8, !tbaa !5
  %623 = getelementptr inbounds %struct._PseudoActionEffect, ptr %622, i32 0, i32 14
  store ptr %621, ptr %623, align 8, !tbaa !45
  %624 = load ptr, ptr %15, align 8, !tbaa !5
  %625 = load ptr, ptr %4, align 8, !tbaa !5
  %626 = getelementptr inbounds %struct._PseudoAction, ptr %625, i32 0, i32 8
  store ptr %624, ptr %626, align 8, !tbaa !44
  %627 = load ptr, ptr %4, align 8, !tbaa !5
  %628 = getelementptr inbounds %struct._PseudoAction, ptr %627, i32 0, i32 9
  %629 = load i32, ptr %628, align 8, !tbaa !46
  %630 = add nsw i32 %629, 1
  store i32 %630, ptr %628, align 8, !tbaa !46
  br label %714

631:                                              ; preds = %88
  %632 = call ptr @new_PseudoActionEffect()
  store ptr %632, ptr %15, align 8, !tbaa !5
  %633 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 4) #7
  %634 = load ptr, ptr %15, align 8, !tbaa !5
  %635 = getelementptr inbounds %struct._PseudoActionEffect, ptr %634, i32 0, i32 6
  store ptr %633, ptr %635, align 8, !tbaa !28
  %636 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 8) #7
  %637 = load ptr, ptr %15, align 8, !tbaa !5
  %638 = getelementptr inbounds %struct._PseudoActionEffect, ptr %637, i32 0, i32 7
  store ptr %636, ptr %638, align 8, !tbaa !29
  %639 = call noalias ptr @calloc(i64 noundef 1, i64 noundef 8) #7
  %640 = load ptr, ptr %15, align 8, !tbaa !5
  %641 = getelementptr inbounds %struct._PseudoActionEffect, ptr %640, i32 0, i32 8
  store ptr %639, ptr %641, align 8, !tbaa !30
  %642 = load ptr, ptr %12, align 8, !tbaa !5
  %643 = getelementptr inbounds %struct._WffNode, ptr %642, i32 0, i32 10
  %644 = load i32, ptr %643, align 8, !tbaa !37
  %645 = load ptr, ptr %15, align 8, !tbaa !5
  %646 = getelementptr inbounds %struct._PseudoActionEffect, ptr %645, i32 0, i32 6
  %647 = load ptr, ptr %646, align 8, !tbaa !28
  %648 = getelementptr inbounds i32, ptr %647, i64 0
  store i32 %644, ptr %648, align 4, !tbaa !9
  %649 = load ptr, ptr %12, align 8, !tbaa !5
  %650 = getelementptr inbounds %struct._WffNode, ptr %649, i32 0, i32 11
  %651 = load ptr, ptr %650, align 8, !tbaa !38
  %652 = call ptr @copy_Exp(ptr noundef %651)
  %653 = load ptr, ptr %15, align 8, !tbaa !5
  %654 = getelementptr inbounds %struct._PseudoActionEffect, ptr %653, i32 0, i32 7
  %655 = load ptr, ptr %654, align 8, !tbaa !29
  %656 = getelementptr inbounds ptr, ptr %655, i64 0
  store ptr %652, ptr %656, align 8, !tbaa !5
  %657 = load ptr, ptr %12, align 8, !tbaa !5
  %658 = getelementptr inbounds %struct._WffNode, ptr %657, i32 0, i32 12
  %659 = load ptr, ptr %658, align 8, !tbaa !39
  %660 = call ptr @copy_Exp(ptr noundef %659)
  %661 = load ptr, ptr %15, align 8, !tbaa !5
  %662 = getelementptr inbounds %struct._PseudoActionEffect, ptr %661, i32 0, i32 8
  %663 = load ptr, ptr %662, align 8, !tbaa !30
  %664 = getelementptr inbounds ptr, ptr %663, i64 0
  store ptr %660, ptr %664, align 8, !tbaa !5
  %665 = load ptr, ptr %15, align 8, !tbaa !5
  %666 = getelementptr inbounds %struct._PseudoActionEffect, ptr %665, i32 0, i32 9
  store i32 1, ptr %666, align 8, !tbaa !32
  %667 = load ptr, ptr %15, align 8, !tbaa !5
  %668 = load ptr, ptr %5, align 8, !tbaa !5
  %669 = getelementptr inbounds %struct._Effect, ptr %668, i32 0, i32 4
  %670 = load ptr, ptr %669, align 8, !tbaa !42
  call void @make_instantiate_literals(ptr noundef %667, ptr noundef %670)
  %671 = load ptr, ptr %15, align 8, !tbaa !5
  %672 = load ptr, ptr %5, align 8, !tbaa !5
  %673 = getelementptr inbounds %struct._Effect, ptr %672, i32 0, i32 5
  %674 = load ptr, ptr %673, align 8, !tbaa !43
  call void @make_instantiate_numeric_effects(ptr noundef %671, ptr noundef %674)
  %675 = load ptr, ptr %4, align 8, !tbaa !5
  %676 = getelementptr inbounds %struct._PseudoAction, ptr %675, i32 0, i32 8
  %677 = load ptr, ptr %676, align 8, !tbaa !44
  %678 = load ptr, ptr %15, align 8, !tbaa !5
  %679 = getelementptr inbounds %struct._PseudoActionEffect, ptr %678, i32 0, i32 14
  store ptr %677, ptr %679, align 8, !tbaa !45
  %680 = load ptr, ptr %15, align 8, !tbaa !5
  %681 = load ptr, ptr %4, align 8, !tbaa !5
  %682 = getelementptr inbounds %struct._PseudoAction, ptr %681, i32 0, i32 8
  store ptr %680, ptr %682, align 8, !tbaa !44
  %683 = load ptr, ptr %4, align 8, !tbaa !5
  %684 = getelementptr inbounds %struct._PseudoAction, ptr %683, i32 0, i32 9
  %685 = load i32, ptr %684, align 8, !tbaa !46
  %686 = add nsw i32 %685, 1
  store i32 %686, ptr %684, align 8, !tbaa !46
  br label %714

687:                                              ; preds = %88
  %688 = call ptr @new_PseudoActionEffect()
  store ptr %688, ptr %15, align 8, !tbaa !5
  %689 = load ptr, ptr %15, align 8, !tbaa !5
  %690 = load ptr, ptr %5, align 8, !tbaa !5
  %691 = getelementptr inbounds %struct._Effect, ptr %690, i32 0, i32 4
  %692 = load ptr, ptr %691, align 8, !tbaa !42
  call void @make_instantiate_literals(ptr noundef %689, ptr noundef %692)
  %693 = load ptr, ptr %15, align 8, !tbaa !5
  %694 = load ptr, ptr %5, align 8, !tbaa !5
  %695 = getelementptr inbounds %struct._Effect, ptr %694, i32 0, i32 5
  %696 = load ptr, ptr %695, align 8, !tbaa !43
  call void @make_instantiate_numeric_effects(ptr noundef %693, ptr noundef %696)
  %697 = load ptr, ptr %4, align 8, !tbaa !5
  %698 = getelementptr inbounds %struct._PseudoAction, ptr %697, i32 0, i32 8
  %699 = load ptr, ptr %698, align 8, !tbaa !44
  %700 = load ptr, ptr %15, align 8, !tbaa !5
  %701 = getelementptr inbounds %struct._PseudoActionEffect, ptr %700, i32 0, i32 14
  store ptr %699, ptr %701, align 8, !tbaa !45
  %702 = load ptr, ptr %15, align 8, !tbaa !5
  %703 = load ptr, ptr %4, align 8, !tbaa !5
  %704 = getelementptr inbounds %struct._PseudoAction, ptr %703, i32 0, i32 8
  store ptr %702, ptr %704, align 8, !tbaa !44
  %705 = load ptr, ptr %4, align 8, !tbaa !5
  %706 = getelementptr inbounds %struct._PseudoAction, ptr %705, i32 0, i32 9
  %707 = load i32, ptr %706, align 8, !tbaa !46
  %708 = add nsw i32 %707, 1
  store i32 %708, ptr %706, align 8, !tbaa !46
  br label %714

709:                                              ; preds = %88
  %710 = load ptr, ptr %12, align 8, !tbaa !5
  %711 = getelementptr inbounds %struct._WffNode, ptr %710, i32 0, i32 0
  %712 = load i32, ptr %711, align 8, !tbaa !20
  %713 = call i32 (ptr, ...) @printf(ptr noundef @.str.7, i32 noundef %712)
  call void @exit(i32 noundef 1) #6
  unreachable

714:                                              ; preds = %687, %631, %610, %541, %382
  %715 = load ptr, ptr %12, align 8, !tbaa !5
  call void @free_WffNode(ptr noundef %715)
  store i32 0, ptr %16, align 4
  br label %716

716:                                              ; preds = %714, %74, %64
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #5
  %717 = load i32, ptr %16, align 4
  switch i32 %717, label %719 [
    i32 0, label %718
    i32 1, label %718
  ]

718:                                              ; preds = %716, %716
  ret void

719:                                              ; preds = %716
  unreachable
}

declare ptr @new_PseudoActionEffect() #1

; Function Attrs: nounwind uwtable
declare dso_local void @make_instantiate_literals(ptr noundef, ptr noundef) #3

; Function Attrs: nounwind uwtable
declare dso_local void @make_instantiate_numeric_effects(ptr noundef, ptr noundef) #3

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

!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/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !10, i64 0}
!12 = !{!"_Effect", !10, i64 0, !7, i64 4, !7, i64 64, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208, !6, i64 216}
!13 = !{!14, !6, i64 0}
!14 = !{!"_PseudoAction", !6, i64 0, !7, i64 8, !6, i64 72, !10, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !10, i64 112, !6, i64 120, !10, i64 128}
!15 = !{!16, !10, i64 136}
!16 = !{!"_Operator", !6, i64 0, !7, i64 8, !10, i64 128, !7, i64 132, !10, i64 136, !7, i64 140, !7, i64 200, !6, i64 216, !6, i64 224, !7, i64 232}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = !{!12, !6, i64 184}
!20 = !{!21, !10, i64 0}
!21 = !{!"_WffNode", !10, i64 0, !10, i64 4, !10, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !10, i64 56, !6, i64 64, !10, i64 72, !6, i64 80, !6, i64 88, !7, i64 96}
!22 = !{!16, !6, i64 0}
!23 = !{!21, !6, i64 24}
!24 = !{!21, !6, i64 32}
!25 = distinct !{!25, !18}
!26 = !{!27, !6, i64 0}
!27 = !{!"_PseudoActionEffect", !6, i64 0, !10, i64 8, !6, i64 16, !10, i64 24, !6, i64 32, !10, i64 40, !6, i64 48, !6, i64 56, !6, i64 64, !10, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !10, i64 104, !6, i64 112}
!28 = !{!27, !6, i64 48}
!29 = !{!27, !6, i64 56}
!30 = !{!27, !6, i64 64}
!31 = !{!27, !10, i64 8}
!32 = !{!27, !10, i64 72}
!33 = !{!21, !6, i64 48}
!34 = !{!35, !10, i64 0}
!35 = !{!"_Fact", !10, i64 0, !7, i64 4}
!36 = distinct !{!36, !18}
!37 = !{!21, !10, i64 72}
!38 = !{!21, !6, i64 80}
!39 = !{!21, !6, i64 88}
!40 = distinct !{!40, !18}
!41 = distinct !{!41, !18}
!42 = !{!12, !6, i64 192}
!43 = !{!12, !6, i64 200}
!44 = !{!14, !6, i64 120}
!45 = !{!27, !6, i64 112}
!46 = !{!14, !10, i64 128}
!47 = distinct !{!47, !18}
!48 = distinct !{!48, !18}
!49 = distinct !{!49, !18}
!50 = distinct !{!50, !18}
!51 = distinct !{!51, !18}


; 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._Fact = type { i32, [5 x i32] }

@garity = external local_unnamed_addr global [50 x i32], align 16
@linst_table = external dso_local local_unnamed_addr global [15 x i32], align 16
@gtype_consts = external local_unnamed_addr global [50 x [2000 x i32]], align 16
@gtype_size = external local_unnamed_addr global [50 x i32], align 16
@.str.3 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [52 x i8], align 1

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

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #1

; Function Attrs: mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite)
declare noalias noundef ptr @calloc(i64 noundef, i64 noundef) local_unnamed_addr #2

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

; Function Attrs: nounwind uwtable
declare dso_local ptr @instantiate_wff(ptr noundef) local_unnamed_addr #3

declare void @free_WffNode(ptr noundef) local_unnamed_addr #4

declare void @dnf(ptr noundef) local_unnamed_addr #4

declare void @cleanup_wff(ptr noundef) local_unnamed_addr #4

declare i32 @is_dnf(ptr noundef) local_unnamed_addr #4

declare void @print_Wff(ptr noundef, i32 noundef) local_unnamed_addr #4

; Function Attrs: noreturn nounwind
declare void @exit(i32 noundef) local_unnamed_addr #5

declare ptr @copy_Exp(ptr noundef) local_unnamed_addr #4

; Function Attrs: nounwind uwtable
define dso_local void @create_hard_pseudo_effects(ptr nocapture noundef %0, ptr nocapture noundef readonly %1, i32 noundef %2) local_unnamed_addr #3 {
  %4 = alloca ptr, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #6
  %5 = load i32, ptr %1, align 8, !tbaa !5
  %6 = icmp sgt i32 %5, %2
  br i1 %6, label %7, label %29

7:                                                ; preds = %3
  %8 = getelementptr inbounds i8, ptr %1, i64 4
  %9 = sext i32 %2 to i64
  %10 = getelementptr inbounds [15 x i32], ptr %8, i64 0, i64 %9
  %11 = load i32, ptr %10, align 4, !tbaa !11
  %12 = sext i32 %11 to i64
  %13 = getelementptr inbounds [50 x i32], ptr @gtype_size, i64 0, i64 %12
  %14 = load i32, ptr %13, align 4, !tbaa !11
  %15 = icmp sgt i32 %14, 0
  br i1 %15, label %.lr.ph276, label %.loopexit

.lr.ph276:                                        ; preds = %7
  %16 = load ptr, ptr %0, align 8, !tbaa !12
  %17 = getelementptr inbounds i8, ptr %16, i64 136
  %18 = load i32, ptr %17, align 8, !tbaa !14
  %19 = add nsw i32 %18, %2
  %20 = sext i32 %19 to i64
  %21 = getelementptr inbounds [15 x i32], ptr @linst_table, i64 0, i64 %20
  %22 = add nsw i32 %2, 1
  br label %23

23:                                               ; preds = %.lr.ph276, %23
  %indvars.iv287 = phi i64 [ 0, %.lr.ph276 ], [ %indvars.iv.next288, %23 ]
  %24 = getelementptr inbounds [50 x [2000 x i32]], ptr @gtype_consts, i64 0, i64 %12, i64 %indvars.iv287
  %25 = load i32, ptr %24, align 4, !tbaa !11
  store i32 %25, ptr %21, align 4, !tbaa !11
  tail call void @create_hard_pseudo_effects(ptr noundef nonnull %0, ptr noundef nonnull %1, i32 noundef %22)
  store i32 -1, ptr %21, align 4, !tbaa !11
  %indvars.iv.next288 = add nuw nsw i64 %indvars.iv287, 1
  %26 = load i32, ptr %13, align 4, !tbaa !11
  %27 = sext i32 %26 to i64
  %28 = icmp slt i64 %indvars.iv.next288, %27
  br i1 %28, label %23, label %.loopexit, !llvm.loop !16

29:                                               ; preds = %3
  %30 = getelementptr inbounds i8, ptr %1, i64 184
  %31 = load ptr, ptr %30, align 8, !tbaa !18
  %32 = tail call ptr @instantiate_wff(ptr noundef %31)
  store ptr %32, ptr %4, align 8, !tbaa !19
  %33 = load i32, ptr %32, align 8, !tbaa !20
  %34 = icmp eq i32 %33, 2001
  br i1 %34, label %35, label %36

35:                                               ; preds = %29
  tail call void @free_WffNode(ptr noundef nonnull %32) #6
  br label %.loopexit

36:                                               ; preds = %29
  call void @dnf(ptr noundef nonnull %4) #6
  call void @cleanup_wff(ptr noundef nonnull %4) #6
  %37 = load ptr, ptr %4, align 8, !tbaa !19
  %38 = call i32 @is_dnf(ptr noundef %37) #6
  %39 = icmp eq i32 %38, -1
  br i1 %39, label %40, label %45

40:                                               ; preds = %36
  %41 = load ptr, ptr %0, align 8, !tbaa !12
  %42 = load ptr, ptr %41, align 8, !tbaa !22
  %43 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.3, ptr noundef %42)
  %44 = load ptr, ptr %4, align 8, !tbaa !19
  call void @print_Wff(ptr noundef %44, i32 noundef 0) #6
  call void @exit(i32 noundef 1) #7
  unreachable

45:                                               ; preds = %36
  %46 = load ptr, ptr %4, align 8, !tbaa !19
  %47 = load i32, ptr %46, align 8, !tbaa !20
  switch i32 %47, label %305 [
    i32 2007, label %48
    i32 2006, label %172
    i32 2002, label %246
    i32 2003, label %274
    i32 2000, label %299
  ]

48:                                               ; preds = %45
  %49 = getelementptr inbounds i8, ptr %46, i64 24
  %.0193268 = load ptr, ptr %49, align 8, !tbaa !19
  %.not214269 = icmp eq ptr %.0193268, null
  br i1 %.not214269, label %.loopexit221, label %.lr.ph273

.lr.ph273:                                        ; preds = %48
  %50 = getelementptr inbounds i8, ptr %1, i64 192
  %51 = getelementptr inbounds i8, ptr %1, i64 200
  %52 = getelementptr inbounds i8, ptr %0, i64 120
  %53 = getelementptr inbounds i8, ptr %0, i64 128
  br label %54

54:                                               ; preds = %.lr.ph273, %.loopexit220
  %.0193270 = phi ptr [ %.0193268, %.lr.ph273 ], [ %.0193, %.loopexit220 ]
  %55 = call ptr @new_PseudoActionEffect() #6
  %56 = load i32, ptr %.0193270, align 8, !tbaa !20
  switch i32 %56, label %thread-pre-split [
    i32 2006, label %57
    i32 2002, label %123
  ]

57:                                               ; preds = %54
  %58 = getelementptr inbounds i8, ptr %.0193270, i64 24
  %.0247 = load ptr, ptr %58, align 8, !tbaa !19
  %.not215248 = icmp eq ptr %.0247, null
  br i1 %.not215248, label %._crit_edge254, label %.lr.ph253

.lr.ph253:                                        ; preds = %57, %.lr.ph253
  %.0251 = phi ptr [ %.0, %.lr.ph253 ], [ %.0247, %57 ]
  %.0195250 = phi i32 [ %.1196, %.lr.ph253 ], [ 0, %57 ]
  %.0198249 = phi i32 [ %spec.select, %.lr.ph253 ], [ 0, %57 ]
  %59 = load i32, ptr %.0251, align 8, !tbaa !20
  %60 = icmp eq i32 %59, 2002
  %61 = zext i1 %60 to i32
  %spec.select = add nuw nsw i32 %.0198249, %61
  %62 = icmp eq i32 %59, 2003
  %63 = zext i1 %62 to i32
  %.1196 = add nuw nsw i32 %.0195250, %63
  %64 = getelementptr inbounds i8, ptr %.0251, i64 32
  %.0 = load ptr, ptr %64, align 8, !tbaa !19
  %.not215 = icmp eq ptr %.0, null
  br i1 %.not215, label %._crit_edge254, label %.lr.ph253, !llvm.loop !23

._crit_edge254:                                   ; preds = %.lr.ph253, %57
  %.0198.lcssa = phi i32 [ 0, %57 ], [ %spec.select, %.lr.ph253 ]
  %.0195.lcssa = phi i32 [ 0, %57 ], [ %.1196, %.lr.ph253 ]
  %65 = zext nneg i32 %.0198.lcssa to i64
  %66 = call noalias ptr @calloc(i64 noundef %65, i64 noundef 24) #8
  store ptr %66, ptr %55, align 8, !tbaa !24
  %67 = zext nneg i32 %.0195.lcssa to i64
  %68 = call noalias ptr @calloc(i64 noundef %67, i64 noundef 4) #8
  %69 = getelementptr inbounds i8, ptr %55, i64 48
  store ptr %68, ptr %69, align 8, !tbaa !26
  %70 = call noalias ptr @calloc(i64 noundef %67, i64 noundef 8) #8
  %71 = getelementptr inbounds i8, ptr %55, i64 56
  store ptr %70, ptr %71, align 8, !tbaa !27
  %72 = call noalias ptr @calloc(i64 noundef %67, i64 noundef 8) #8
  %73 = getelementptr inbounds i8, ptr %55, i64 64
  store ptr %72, ptr %73, align 8, !tbaa !28
  %74 = getelementptr inbounds i8, ptr %55, i64 8
  store i32 %.0198.lcssa, ptr %74, align 8, !tbaa !29
  %75 = getelementptr inbounds i8, ptr %55, i64 72
  store i32 %.0195.lcssa, ptr %75, align 8, !tbaa !30
  %.1261 = load ptr, ptr %58, align 8, !tbaa !19
  %.not216262 = icmp eq ptr %.1261, null
  br i1 %.not216262, label %.loopexit220, label %.lr.ph267

.lr.ph267:                                        ; preds = %._crit_edge254, %121
  %.1265 = phi ptr [ %.1, %121 ], [ %.1261, %._crit_edge254 ]
  %.2197264 = phi i32 [ %.3, %121 ], [ 0, %._crit_edge254 ]
  %.2200263 = phi i32 [ %.3201, %121 ], [ 0, %._crit_edge254 ]
  %76 = load i32, ptr %.1265, align 8, !tbaa !20
  %77 = icmp eq i32 %76, 2002
  br i1 %77, label %78, label %101

78:                                               ; preds = %.lr.ph267
  %79 = getelementptr inbounds i8, ptr %.1265, i64 48
  %80 = load ptr, ptr %79, align 8, !tbaa !31
  %81 = load i32, ptr %80, align 4, !tbaa !32
  %82 = load ptr, ptr %55, align 8, !tbaa !24
  %83 = sext i32 %.2200263 to i64
  %84 = getelementptr inbounds %struct._Fact, ptr %82, i64 %83
  store i32 %81, ptr %84, align 4, !tbaa !32
  %85 = sext i32 %81 to i64
  %86 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %85
  %87 = load i32, ptr %86, align 4, !tbaa !11
  %88 = icmp sgt i32 %87, 0
  br i1 %88, label %.lr.ph259, label %._crit_edge260

.lr.ph259:                                        ; preds = %78
  %89 = getelementptr inbounds i8, ptr %80, i64 4
  br label %90

90:                                               ; preds = %.lr.ph259, %90
  %indvars.iv284 = phi i64 [ 0, %.lr.ph259 ], [ %indvars.iv.next285, %90 ]
  %91 = getelementptr inbounds [5 x i32], ptr %89, i64 0, i64 %indvars.iv284
  %92 = load i32, ptr %91, align 4, !tbaa !11
  %93 = getelementptr inbounds %struct._Fact, ptr %82, i64 %83, i32 1, i64 %indvars.iv284
  store i32 %92, ptr %93, align 4, !tbaa !11
  %indvars.iv.next285 = add nuw nsw i64 %indvars.iv284, 1
  %94 = load i32, ptr %80, align 4, !tbaa !32
  %95 = sext i32 %94 to i64
  %96 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %95
  %97 = load i32, ptr %96, align 4, !tbaa !11
  %98 = sext i32 %97 to i64
  %99 = icmp slt i64 %indvars.iv.next285, %98
  br i1 %99, label %90, label %._crit_edge260.loopexit, !llvm.loop !34

._crit_edge260.loopexit:                          ; preds = %90
  %.pr.pre = load i32, ptr %.1265, align 8, !tbaa !20
  br label %._crit_edge260

._crit_edge260:                                   ; preds = %._crit_edge260.loopexit, %78
  %.pr = phi i32 [ %.pr.pre, %._crit_edge260.loopexit ], [ 2002, %78 ]
  %100 = add nsw i32 %.2200263, 1
  br label %101

101:                                              ; preds = %._crit_edge260, %.lr.ph267
  %102 = phi i32 [ %.pr, %._crit_edge260 ], [ %76, %.lr.ph267 ]
  %.3201 = phi i32 [ %100, %._crit_edge260 ], [ %.2200263, %.lr.ph267 ]
  %103 = icmp eq i32 %102, 2003
  br i1 %103, label %104, label %121

104:                                              ; preds = %101
  %105 = getelementptr inbounds i8, ptr %.1265, i64 72
  %106 = load i32, ptr %105, align 8, !tbaa !35
  %107 = load ptr, ptr %69, align 8, !tbaa !26
  %108 = sext i32 %.2197264 to i64
  %109 = getelementptr inbounds i32, ptr %107, i64 %108
  store i32 %106, ptr %109, align 4, !tbaa !11
  %110 = getelementptr inbounds i8, ptr %.1265, i64 80
  %111 = load ptr, ptr %110, align 8, !tbaa !36
  %112 = call ptr @copy_Exp(ptr noundef %111) #6
  %113 = load ptr, ptr %71, align 8, !tbaa !27
  %114 = getelementptr inbounds ptr, ptr %113, i64 %108
  store ptr %112, ptr %114, align 8, !tbaa !19
  %115 = getelementptr inbounds i8, ptr %.1265, i64 88
  %116 = load ptr, ptr %115, align 8, !tbaa !37
  %117 = call ptr @copy_Exp(ptr noundef %116) #6
  %118 = load ptr, ptr %73, align 8, !tbaa !28
  %119 = getelementptr inbounds ptr, ptr %118, i64 %108
  store ptr %117, ptr %119, align 8, !tbaa !19
  %120 = add nsw i32 %.2197264, 1
  br label %121

121:                                              ; preds = %101, %104
  %.3 = phi i32 [ %120, %104 ], [ %.2197264, %101 ]
  %122 = getelementptr inbounds i8, ptr %.1265, i64 32
  %.1 = load ptr, ptr %122, align 8, !tbaa !19
  %.not216 = icmp eq ptr %.1, null
  br i1 %.not216, label %.loopexit220, label %.lr.ph267, !llvm.loop !38

123:                                              ; preds = %54
  %124 = call noalias dereferenceable_or_null(24) ptr @calloc(i64 noundef 1, i64 noundef 24) #8
  store ptr %124, ptr %55, align 8, !tbaa !24
  %125 = getelementptr inbounds i8, ptr %55, i64 8
  store i32 1, ptr %125, align 8, !tbaa !29
  %126 = getelementptr inbounds i8, ptr %.0193270, i64 48
  %127 = load ptr, ptr %126, align 8, !tbaa !31
  %128 = load i32, ptr %127, align 4, !tbaa !32
  store i32 %128, ptr %124, align 4, !tbaa !32
  %129 = sext i32 %128 to i64
  %130 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %129
  %131 = load i32, ptr %130, align 4, !tbaa !11
  %132 = icmp sgt i32 %131, 0
  br i1 %132, label %.lr.ph246, label %.loopexit220

.lr.ph246:                                        ; preds = %123
  %133 = getelementptr inbounds i8, ptr %127, i64 4
  %134 = getelementptr inbounds i8, ptr %124, i64 4
  br label %135

135:                                              ; preds = %.lr.ph246, %135
  %indvars.iv281 = phi i64 [ 0, %.lr.ph246 ], [ %indvars.iv.next282, %135 ]
  %136 = getelementptr inbounds [5 x i32], ptr %133, i64 0, i64 %indvars.iv281
  %137 = load i32, ptr %136, align 4, !tbaa !11
  %138 = getelementptr inbounds [5 x i32], ptr %134, i64 0, i64 %indvars.iv281
  store i32 %137, ptr %138, align 4, !tbaa !11
  %indvars.iv.next282 = add nuw nsw i64 %indvars.iv281, 1
  %139 = load i32, ptr %127, align 4, !tbaa !32
  %140 = sext i32 %139 to i64
  %141 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %140
  %142 = load i32, ptr %141, align 4, !tbaa !11
  %143 = sext i32 %142 to i64
  %144 = icmp slt i64 %indvars.iv.next282, %143
  br i1 %144, label %135, label %thread-pre-split.loopexit, !llvm.loop !39

thread-pre-split.loopexit:                        ; preds = %135
  %.pr218.pre = load i32, ptr %.0193270, align 8, !tbaa !20
  br label %thread-pre-split

thread-pre-split:                                 ; preds = %thread-pre-split.loopexit, %54
  %145 = phi i32 [ %56, %54 ], [ %.pr218.pre, %thread-pre-split.loopexit ]
  %146 = icmp eq i32 %145, 2003
  br i1 %146, label %147, label %.loopexit220

147:                                              ; preds = %thread-pre-split
  %148 = call noalias dereferenceable_or_null(4) ptr @calloc(i64 noundef 1, i64 noundef 4) #8
  %149 = getelementptr inbounds i8, ptr %55, i64 48
  store ptr %148, ptr %149, align 8, !tbaa !26
  %150 = call noalias dereferenceable_or_null(8) ptr @calloc(i64 noundef 1, i64 noundef 8) #8
  %151 = getelementptr inbounds i8, ptr %55, i64 56
  store ptr %150, ptr %151, align 8, !tbaa !27
  %152 = call noalias dereferenceable_or_null(8) ptr @calloc(i64 noundef 1, i64 noundef 8) #8
  %153 = getelementptr inbounds i8, ptr %55, i64 64
  store ptr %152, ptr %153, align 8, !tbaa !28
  %154 = getelementptr inbounds i8, ptr %.0193270, i64 72
  %155 = load i32, ptr %154, align 8, !tbaa !35
  store i32 %155, ptr %148, align 4, !tbaa !11
  %156 = getelementptr inbounds i8, ptr %.0193270, i64 80
  %157 = load ptr, ptr %156, align 8, !tbaa !36
  %158 = call ptr @copy_Exp(ptr noundef %157) #6
  %159 = load ptr, ptr %151, align 8, !tbaa !27
  store ptr %158, ptr %159, align 8, !tbaa !19
  %160 = getelementptr inbounds i8, ptr %.0193270, i64 88
  %161 = load ptr, ptr %160, align 8, !tbaa !37
  %162 = call ptr @copy_Exp(ptr noundef %161) #6
  %163 = load ptr, ptr %153, align 8, !tbaa !28
  store ptr %162, ptr %163, align 8, !tbaa !19
  %164 = getelementptr inbounds i8, ptr %55, i64 72
  store i32 1, ptr %164, align 8, !tbaa !30
  br label %.loopexit220

.loopexit220:                                     ; preds = %121, %123, %._crit_edge254, %thread-pre-split, %147
  %165 = load ptr, ptr %50, align 8, !tbaa !40
  call void @make_instantiate_literals(ptr noundef %55, ptr noundef %165)
  %166 = load ptr, ptr %51, align 8, !tbaa !41
  call void @make_instantiate_numeric_effects(ptr noundef %55, ptr noundef %166)
  %167 = load ptr, ptr %52, align 8, !tbaa !42
  %168 = getelementptr inbounds i8, ptr %55, i64 112
  store ptr %167, ptr %168, align 8, !tbaa !43
  store ptr %55, ptr %52, align 8, !tbaa !42
  %169 = load i32, ptr %53, align 8, !tbaa !44
  %170 = add nsw i32 %169, 1
  store i32 %170, ptr %53, align 8, !tbaa !44
  %171 = getelementptr inbounds i8, ptr %.0193270, i64 32
  %.0193 = load ptr, ptr %171, align 8, !tbaa !19
  %.not214 = icmp eq ptr %.0193, null
  br i1 %.not214, label %.loopexit221, label %54, !llvm.loop !45

172:                                              ; preds = %45
  %173 = call ptr @new_PseudoActionEffect() #6
  %174 = load ptr, ptr %4, align 8, !tbaa !19
  %175 = getelementptr inbounds i8, ptr %174, i64 24
  %.1194223 = load ptr, ptr %175, align 8, !tbaa !19
  %.not224 = icmp eq ptr %.1194223, null
  br i1 %.not224, label %._crit_edge230, label %.lr.ph229

.lr.ph229:                                        ; preds = %172, %.lr.ph229
  %.1194227 = phi ptr [ %.1194, %.lr.ph229 ], [ %.1194223, %172 ]
  %.4226 = phi i32 [ %.5, %.lr.ph229 ], [ 0, %172 ]
  %.4202225 = phi i32 [ %spec.select217, %.lr.ph229 ], [ 0, %172 ]
  %176 = load i32, ptr %.1194227, align 8, !tbaa !20
  %177 = icmp eq i32 %176, 2002
  %178 = zext i1 %177 to i32
  %spec.select217 = add nuw nsw i32 %.4202225, %178
  %179 = icmp eq i32 %176, 2003
  %180 = zext i1 %179 to i32
  %.5 = add nuw nsw i32 %.4226, %180
  %181 = getelementptr inbounds i8, ptr %.1194227, i64 32
  %.1194 = load ptr, ptr %181, align 8, !tbaa !19
  %.not = icmp eq ptr %.1194, null
  br i1 %.not, label %._crit_edge230, label %.lr.ph229, !llvm.loop !46

._crit_edge230:                                   ; preds = %.lr.ph229, %172
  %.4202.lcssa = phi i32 [ 0, %172 ], [ %spec.select217, %.lr.ph229 ]
  %.4.lcssa = phi i32 [ 0, %172 ], [ %.5, %.lr.ph229 ]
  %182 = zext nneg i32 %.4202.lcssa to i64
  %183 = call noalias ptr @calloc(i64 noundef %182, i64 noundef 24) #8
  store ptr %183, ptr %173, align 8, !tbaa !24
  %184 = zext nneg i32 %.4.lcssa to i64
  %185 = call noalias ptr @calloc(i64 noundef %184, i64 noundef 4) #8
  %186 = getelementptr inbounds i8, ptr %173, i64 48
  store ptr %185, ptr %186, align 8, !tbaa !26
  %187 = call noalias ptr @calloc(i64 noundef %184, i64 noundef 8) #8
  %188 = getelementptr inbounds i8, ptr %173, i64 56
  store ptr %187, ptr %188, align 8, !tbaa !27
  %189 = call noalias ptr @calloc(i64 noundef %184, i64 noundef 8) #8
  %190 = getelementptr inbounds i8, ptr %173, i64 64
  store ptr %189, ptr %190, align 8, !tbaa !28
  %191 = getelementptr inbounds i8, ptr %173, i64 8
  store i32 %.4202.lcssa, ptr %191, align 8, !tbaa !29
  %192 = getelementptr inbounds i8, ptr %173, i64 72
  store i32 %.4.lcssa, ptr %192, align 8, !tbaa !30
  %193 = load ptr, ptr %4, align 8, !tbaa !19
  %194 = getelementptr inbounds i8, ptr %193, i64 24
  %.2236 = load ptr, ptr %194, align 8, !tbaa !19
  %.not213237 = icmp eq ptr %.2236, null
  br i1 %.not213237, label %._crit_edge243, label %.lr.ph242

.lr.ph242:                                        ; preds = %._crit_edge230, %240
  %.2240 = phi ptr [ %.2, %240 ], [ %.2236, %._crit_edge230 ]
  %.6239 = phi i32 [ %.7, %240 ], [ 0, %._crit_edge230 ]
  %.6204238 = phi i32 [ %.7205, %240 ], [ 0, %._crit_edge230 ]
  %195 = load i32, ptr %.2240, align 8, !tbaa !20
  %196 = icmp eq i32 %195, 2002
  br i1 %196, label %197, label %220

197:                                              ; preds = %.lr.ph242
  %198 = getelementptr inbounds i8, ptr %.2240, i64 48
  %199 = load ptr, ptr %198, align 8, !tbaa !31
  %200 = load i32, ptr %199, align 4, !tbaa !32
  %201 = load ptr, ptr %173, align 8, !tbaa !24
  %202 = sext i32 %.6204238 to i64
  %203 = getelementptr inbounds %struct._Fact, ptr %201, i64 %202
  store i32 %200, ptr %203, align 4, !tbaa !32
  %204 = sext i32 %200 to i64
  %205 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %204
  %206 = load i32, ptr %205, align 4, !tbaa !11
  %207 = icmp sgt i32 %206, 0
  br i1 %207, label %.lr.ph234, label %._crit_edge235

.lr.ph234:                                        ; preds = %197
  %208 = getelementptr inbounds i8, ptr %199, i64 4
  br label %209

209:                                              ; preds = %.lr.ph234, %209
  %indvars.iv278 = phi i64 [ 0, %.lr.ph234 ], [ %indvars.iv.next279, %209 ]
  %210 = getelementptr inbounds [5 x i32], ptr %208, i64 0, i64 %indvars.iv278
  %211 = load i32, ptr %210, align 4, !tbaa !11
  %212 = getelementptr inbounds %struct._Fact, ptr %201, i64 %202, i32 1, i64 %indvars.iv278
  store i32 %211, ptr %212, align 4, !tbaa !11
  %indvars.iv.next279 = add nuw nsw i64 %indvars.iv278, 1
  %213 = load i32, ptr %199, align 4, !tbaa !32
  %214 = sext i32 %213 to i64
  %215 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %214
  %216 = load i32, ptr %215, align 4, !tbaa !11
  %217 = sext i32 %216 to i64
  %218 = icmp slt i64 %indvars.iv.next279, %217
  br i1 %218, label %209, label %._crit_edge235.loopexit, !llvm.loop !47

._crit_edge235.loopexit:                          ; preds = %209
  %.pr219.pre = load i32, ptr %.2240, align 8, !tbaa !20
  br label %._crit_edge235

._crit_edge235:                                   ; preds = %._crit_edge235.loopexit, %197
  %.pr219 = phi i32 [ %.pr219.pre, %._crit_edge235.loopexit ], [ 2002, %197 ]
  %219 = add nsw i32 %.6204238, 1
  br label %220

220:                                              ; preds = %._crit_edge235, %.lr.ph242
  %221 = phi i32 [ %.pr219, %._crit_edge235 ], [ %195, %.lr.ph242 ]
  %.7205 = phi i32 [ %219, %._crit_edge235 ], [ %.6204238, %.lr.ph242 ]
  %222 = icmp eq i32 %221, 2003
  br i1 %222, label %223, label %240

223:                                              ; preds = %220
  %224 = getelementptr inbounds i8, ptr %.2240, i64 72
  %225 = load i32, ptr %224, align 8, !tbaa !35
  %226 = load ptr, ptr %186, align 8, !tbaa !26
  %227 = sext i32 %.6239 to i64
  %228 = getelementptr inbounds i32, ptr %226, i64 %227
  store i32 %225, ptr %228, align 4, !tbaa !11
  %229 = getelementptr inbounds i8, ptr %.2240, i64 80
  %230 = load ptr, ptr %229, align 8, !tbaa !36
  %231 = call ptr @copy_Exp(ptr noundef %230) #6
  %232 = load ptr, ptr %188, align 8, !tbaa !27
  %233 = getelementptr inbounds ptr, ptr %232, i64 %227
  store ptr %231, ptr %233, align 8, !tbaa !19
  %234 = getelementptr inbounds i8, ptr %.2240, i64 88
  %235 = load ptr, ptr %234, align 8, !tbaa !37
  %236 = call ptr @copy_Exp(ptr noundef %235) #6
  %237 = load ptr, ptr %190, align 8, !tbaa !28
  %238 = getelementptr inbounds ptr, ptr %237, i64 %227
  store ptr %236, ptr %238, align 8, !tbaa !19
  %239 = add nsw i32 %.6239, 1
  br label %240

240:                                              ; preds = %220, %223
  %.7 = phi i32 [ %239, %223 ], [ %.6239, %220 ]
  %241 = getelementptr inbounds i8, ptr %.2240, i64 32
  %.2 = load ptr, ptr %241, align 8, !tbaa !19
  %.not213 = icmp eq ptr %.2, null
  br i1 %.not213, label %._crit_edge243, label %.lr.ph242, !llvm.loop !48

._crit_edge243:                                   ; preds = %240, %._crit_edge230
  %242 = getelementptr inbounds i8, ptr %1, i64 192
  %243 = load ptr, ptr %242, align 8, !tbaa !40
  call void @make_instantiate_literals(ptr noundef nonnull %173, ptr noundef %243)
  %244 = getelementptr inbounds i8, ptr %1, i64 200
  %245 = load ptr, ptr %244, align 8, !tbaa !41
  call void @make_instantiate_numeric_effects(ptr noundef nonnull %173, ptr noundef %245)
  br label %.loopexit221.sink.split

246:                                              ; preds = %45
  %247 = call ptr @new_PseudoActionEffect() #6
  %248 = call noalias dereferenceable_or_null(24) ptr @calloc(i64 noundef 1, i64 noundef 24) #8
  store ptr %248, ptr %247, align 8, !tbaa !24
  %249 = getelementptr inbounds i8, ptr %247, i64 8
  store i32 1, ptr %249, align 8, !tbaa !29
  %250 = load ptr, ptr %4, align 8, !tbaa !19
  %251 = getelementptr inbounds i8, ptr %250, i64 48
  %252 = load ptr, ptr %251, align 8, !tbaa !31
  %253 = load i32, ptr %252, align 4, !tbaa !32
  store i32 %253, ptr %248, align 4, !tbaa !32
  %254 = sext i32 %253 to i64
  %255 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %254
  %256 = load i32, ptr %255, align 4, !tbaa !11
  %257 = icmp sgt i32 %256, 0
  br i1 %257, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %246
  %258 = getelementptr inbounds i8, ptr %252, i64 4
  %259 = getelementptr inbounds i8, ptr %248, i64 4
  br label %260

260:                                              ; preds = %.lr.ph, %260
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %260 ]
  %261 = getelementptr inbounds [5 x i32], ptr %258, i64 0, i64 %indvars.iv
  %262 = load i32, ptr %261, align 4, !tbaa !11
  %263 = getelementptr inbounds [5 x i32], ptr %259, i64 0, i64 %indvars.iv
  store i32 %262, ptr %263, align 4, !tbaa !11
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %264 = load i32, ptr %252, align 4, !tbaa !32
  %265 = sext i32 %264 to i64
  %266 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %265
  %267 = load i32, ptr %266, align 4, !tbaa !11
  %268 = sext i32 %267 to i64
  %269 = icmp slt i64 %indvars.iv.next, %268
  br i1 %269, label %260, label %._crit_edge, !llvm.loop !49

._crit_edge:                                      ; preds = %260, %246
  %270 = getelementptr inbounds i8, ptr %1, i64 192
  %271 = load ptr, ptr %270, align 8, !tbaa !40
  call void @make_instantiate_literals(ptr noundef nonnull %247, ptr noundef %271)
  %272 = getelementptr inbounds i8, ptr %1, i64 200
  %273 = load ptr, ptr %272, align 8, !tbaa !41
  call void @make_instantiate_numeric_effects(ptr noundef nonnull %247, ptr noundef %273)
  br label %.loopexit221.sink.split

274:                                              ; preds = %45
  %275 = call ptr @new_PseudoActionEffect() #6
  %276 = call noalias dereferenceable_or_null(4) ptr @calloc(i64 noundef 1, i64 noundef 4) #8
  %277 = getelementptr inbounds i8, ptr %275, i64 48
  store ptr %276, ptr %277, align 8, !tbaa !26
  %278 = call noalias dereferenceable_or_null(8) ptr @calloc(i64 noundef 1, i64 noundef 8) #8
  %279 = getelementptr inbounds i8, ptr %275, i64 56
  store ptr %278, ptr %279, align 8, !tbaa !27
  %280 = call noalias dereferenceable_or_null(8) ptr @calloc(i64 noundef 1, i64 noundef 8) #8
  %281 = getelementptr inbounds i8, ptr %275, i64 64
  store ptr %280, ptr %281, align 8, !tbaa !28
  %282 = load ptr, ptr %4, align 8, !tbaa !19
  %283 = getelementptr inbounds i8, ptr %282, i64 72
  %284 = load i32, ptr %283, align 8, !tbaa !35
  store i32 %284, ptr %276, align 4, !tbaa !11
  %285 = getelementptr inbounds i8, ptr %282, i64 80
  %286 = load ptr, ptr %285, align 8, !tbaa !36
  %287 = call ptr @copy_Exp(ptr noundef %286) #6
  %288 = load ptr, ptr %279, align 8, !tbaa !27
  store ptr %287, ptr %288, align 8, !tbaa !19
  %289 = load ptr, ptr %4, align 8, !tbaa !19
  %290 = getelementptr inbounds i8, ptr %289, i64 88
  %291 = load ptr, ptr %290, align 8, !tbaa !37
  %292 = call ptr @copy_Exp(ptr noundef %291) #6
  %293 = load ptr, ptr %281, align 8, !tbaa !28
  store ptr %292, ptr %293, align 8, !tbaa !19
  %294 = getelementptr inbounds i8, ptr %275, i64 72
  store i32 1, ptr %294, align 8, !tbaa !30
  %295 = getelementptr inbounds i8, ptr %1, i64 192
  %296 = load ptr, ptr %295, align 8, !tbaa !40
  call void @make_instantiate_literals(ptr noundef %275, ptr noundef %296)
  %297 = getelementptr inbounds i8, ptr %1, i64 200
  %298 = load ptr, ptr %297, align 8, !tbaa !41
  call void @make_instantiate_numeric_effects(ptr noundef %275, ptr noundef %298)
  br label %.loopexit221.sink.split

299:                                              ; preds = %45
  %300 = call ptr @new_PseudoActionEffect() #6
  %301 = getelementptr inbounds i8, ptr %1, i64 192
  %302 = load ptr, ptr %301, align 8, !tbaa !40
  call void @make_instantiate_literals(ptr noundef %300, ptr noundef %302)
  %303 = getelementptr inbounds i8, ptr %1, i64 200
  %304 = load ptr, ptr %303, align 8, !tbaa !41
  call void @make_instantiate_numeric_effects(ptr noundef %300, ptr noundef %304)
  br label %.loopexit221.sink.split

305:                                              ; preds = %45
  %306 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.7, i32 noundef %47)
  call void @exit(i32 noundef 1) #7
  unreachable

.loopexit221.sink.split:                          ; preds = %._crit_edge243, %._crit_edge, %274, %299
  %.sink298 = phi ptr [ %300, %299 ], [ %275, %274 ], [ %247, %._crit_edge ], [ %173, %._crit_edge243 ]
  %307 = getelementptr inbounds i8, ptr %0, i64 120
  %308 = load ptr, ptr %307, align 8, !tbaa !42
  %309 = getelementptr inbounds i8, ptr %.sink298, i64 112
  store ptr %308, ptr %309, align 8, !tbaa !43
  store ptr %.sink298, ptr %307, align 8, !tbaa !42
  %310 = getelementptr inbounds i8, ptr %0, i64 128
  %311 = load i32, ptr %310, align 8, !tbaa !44
  %312 = add nsw i32 %311, 1
  store i32 %312, ptr %310, align 8, !tbaa !44
  br label %.loopexit221

.loopexit221:                                     ; preds = %.loopexit220, %.loopexit221.sink.split, %48
  %313 = load ptr, ptr %4, align 8, !tbaa !19
  call void @free_WffNode(ptr noundef %313) #6
  br label %.loopexit

.loopexit:                                        ; preds = %23, %7, %.loopexit221, %35
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #6
  ret void
}

declare ptr @new_PseudoActionEffect() local_unnamed_addr #4

; Function Attrs: nounwind uwtable
declare dso_local void @make_instantiate_literals(ptr noundef, ptr noundef) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
declare dso_local void @make_instantiate_numeric_effects(ptr noundef, ptr noundef) local_unnamed_addr #3

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nofree 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 #2 = { mustprogress nofree nounwind willreturn allockind("alloc,zeroed") allocsize(0,1) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" "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 = { 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 #4 = { "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 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { nounwind }
attributes #7 = { noreturn nounwind }
attributes #8 = { nounwind allocsize(0,1) }

!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, !7, i64 0}
!6 = !{!"_Effect", !7, i64 0, !8, i64 4, !8, i64 64, !10, i64 184, !10, i64 192, !10, i64 200, !10, i64 208, !10, i64 216}
!7 = !{!"int", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C/C++ TBAA"}
!10 = !{!"any pointer", !8, i64 0}
!11 = !{!7, !7, i64 0}
!12 = !{!13, !10, i64 0}
!13 = !{!"_PseudoAction", !10, i64 0, !8, i64 8, !10, i64 72, !7, i64 80, !10, i64 88, !10, i64 96, !10, i64 104, !7, i64 112, !10, i64 120, !7, i64 128}
!14 = !{!15, !7, i64 136}
!15 = !{!"_Operator", !10, i64 0, !8, i64 8, !7, i64 128, !8, i64 132, !7, i64 136, !8, i64 140, !8, i64 200, !10, i64 216, !10, i64 224, !8, i64 232}
!16 = distinct !{!16, !17}
!17 = !{!"llvm.loop.mustprogress"}
!18 = !{!6, !10, i64 184}
!19 = !{!10, !10, i64 0}
!20 = !{!21, !7, i64 0}
!21 = !{!"_WffNode", !7, i64 0, !7, i64 4, !7, i64 8, !10, i64 16, !10, i64 24, !10, i64 32, !10, i64 40, !10, i64 48, !7, i64 56, !10, i64 64, !7, i64 72, !10, i64 80, !10, i64 88, !8, i64 96}
!22 = !{!15, !10, i64 0}
!23 = distinct !{!23, !17}
!24 = !{!25, !10, i64 0}
!25 = !{!"_PseudoActionEffect", !10, i64 0, !7, i64 8, !10, i64 16, !7, i64 24, !10, i64 32, !7, i64 40, !10, i64 48, !10, i64 56, !10, i64 64, !7, i64 72, !10, i64 80, !10, i64 88, !10, i64 96, !7, i64 104, !10, i64 112}
!26 = !{!25, !10, i64 48}
!27 = !{!25, !10, i64 56}
!28 = !{!25, !10, i64 64}
!29 = !{!25, !7, i64 8}
!30 = !{!25, !7, i64 72}
!31 = !{!21, !10, i64 48}
!32 = !{!33, !7, i64 0}
!33 = !{!"_Fact", !7, i64 0, !8, i64 4}
!34 = distinct !{!34, !17}
!35 = !{!21, !7, i64 72}
!36 = !{!21, !10, i64 80}
!37 = !{!21, !10, i64 88}
!38 = distinct !{!38, !17}
!39 = distinct !{!39, !17}
!40 = !{!6, !10, i64 192}
!41 = !{!6, !10, i64 200}
!42 = !{!13, !10, i64 120}
!43 = !{!25, !10, i64 112}
!44 = !{!13, !7, i64 128}
!45 = distinct !{!45, !17}
!46 = distinct !{!46, !17}
!47 = distinct !{!47, !17}
!48 = distinct !{!48, !17}
!49 = distinct !{!49, !17}


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