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

; 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._WffNode = type { i32, i32, i32, ptr, ptr, ptr, ptr, ptr, i32, ptr, i32, ptr, ptr, i8 }
%struct._Fact = type { i32, [5 x i32] }
%struct._ExpNode = type { i32, ptr, i32, float, float, ptr, ptr, ptr }

@gtype_size = external global [50 x i32], align 16
@gtype_consts = external global [50 x [2000 x i32]], align 16
@garity = external global [50 x i32], align 16
@.str.99 = external hidden unnamed_addr constant [45 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: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

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

; Function Attrs: nounwind uwtable
define dso_local void @expand_quantifiers_in_wff(ptr noundef %0, i32 noundef %1, i32 noundef %2) #3 {
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i8, align 1
  %13 = alloca i8, align 1
  %14 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store i32 %1, ptr %5, align 4, !tbaa !9
  store i32 %2, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #5
  store ptr null, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #5
  call void @llvm.lifetime.start.p0(i64 8, 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 1, ptr %12) #5
  call void @llvm.lifetime.start.p0(i64 1, ptr %13) #5
  %15 = load ptr, ptr %4, align 8, !tbaa !5
  %16 = load ptr, ptr %15, align 8, !tbaa !5
  %17 = icmp ne ptr %16, null
  br i1 %17, label %19, label %18

18:                                               ; preds = %3
  store i32 1, ptr %14, align 4
  br label %349

19:                                               ; preds = %3
  %20 = load ptr, ptr %4, align 8, !tbaa !5
  %21 = load ptr, ptr %20, align 8, !tbaa !5
  %22 = getelementptr inbounds %struct._WffNode, ptr %21, i32 0, i32 0
  %23 = load i32, ptr %22, align 8, !tbaa !11
  switch i32 %23, label %342 [
    i32 2008, label %24
    i32 2009, label %24
    i32 2006, label %130
    i32 2007, label %130
    i32 2005, label %146
    i32 2002, label %152
    i32 2003, label %248
    i32 2000, label %341
    i32 2001, label %341
  ]

24:                                               ; preds = %19, %19
  %25 = load i32, ptr %5, align 4, !tbaa !9
  %26 = icmp ne i32 %25, -1
  br i1 %26, label %27, label %33

27:                                               ; preds = %24
  %28 = load ptr, ptr %4, align 8, !tbaa !5
  %29 = load ptr, ptr %28, align 8, !tbaa !5
  %30 = getelementptr inbounds %struct._WffNode, ptr %29, i32 0, i32 9
  %31 = load i32, ptr %5, align 4, !tbaa !9
  %32 = load i32, ptr %6, align 4, !tbaa !9
  call void @expand_quantifiers_in_wff(ptr noundef %30, i32 noundef %31, i32 noundef %32)
  store i32 1, ptr %14, align 4
  br label %349

33:                                               ; preds = %24
  %34 = load ptr, ptr %4, align 8, !tbaa !5
  %35 = load ptr, ptr %34, align 8, !tbaa !5
  %36 = getelementptr inbounds %struct._WffNode, ptr %35, i32 0, i32 0
  %37 = load i32, ptr %36, align 8, !tbaa !11
  %38 = icmp eq i32 %37, 2008
  %39 = zext i1 %38 to i64
  %40 = select i1 %38, i32 2006, i32 2007
  %41 = load ptr, ptr %4, align 8, !tbaa !5
  %42 = load ptr, ptr %41, align 8, !tbaa !5
  %43 = getelementptr inbounds %struct._WffNode, ptr %42, i32 0, i32 0
  store i32 %40, ptr %43, align 8, !tbaa !11
  store i32 0, ptr %10, align 4, !tbaa !9
  br label %44

44:                                               ; preds = %85, %33
  %45 = load i32, ptr %10, align 4, !tbaa !9
  %46 = load ptr, ptr %4, align 8, !tbaa !5
  %47 = load ptr, ptr %46, align 8, !tbaa !5
  %48 = getelementptr inbounds %struct._WffNode, ptr %47, i32 0, i32 2
  %49 = load i32, ptr %48, align 8, !tbaa !13
  %50 = sext i32 %49 to i64
  %51 = getelementptr inbounds [50 x i32], ptr @gtype_size, i64 0, i64 %50
  %52 = load i32, ptr %51, align 4, !tbaa !9
  %53 = icmp slt i32 %45, %52
  br i1 %53, label %54, label %88

54:                                               ; preds = %44
  %55 = load ptr, ptr %4, align 8, !tbaa !5
  %56 = load ptr, ptr %55, align 8, !tbaa !5
  %57 = getelementptr inbounds %struct._WffNode, ptr %56, i32 0, i32 9
  %58 = load ptr, ptr %57, align 8, !tbaa !14
  %59 = call ptr @copy_Wff(ptr noundef %58)
  store ptr %59, ptr %8, align 8, !tbaa !5
  %60 = load ptr, ptr %4, align 8, !tbaa !5
  %61 = load ptr, ptr %60, align 8, !tbaa !5
  %62 = getelementptr inbounds %struct._WffNode, ptr %61, i32 0, i32 1
  %63 = load i32, ptr %62, align 4, !tbaa !15
  %64 = load ptr, ptr %4, align 8, !tbaa !5
  %65 = load ptr, ptr %64, align 8, !tbaa !5
  %66 = getelementptr inbounds %struct._WffNode, ptr %65, i32 0, i32 2
  %67 = load i32, ptr %66, align 8, !tbaa !13
  %68 = sext i32 %67 to i64
  %69 = getelementptr inbounds [50 x [2000 x i32]], ptr @gtype_consts, i64 0, i64 %68
  %70 = load i32, ptr %10, align 4, !tbaa !9
  %71 = sext i32 %70 to i64
  %72 = getelementptr inbounds [2000 x i32], ptr %69, i64 0, i64 %71
  %73 = load i32, ptr %72, align 4, !tbaa !9
  call void @expand_quantifiers_in_wff(ptr noundef %8, i32 noundef %63, i32 noundef %73)
  %74 = load ptr, ptr %7, align 8, !tbaa !5
  %75 = load ptr, ptr %8, align 8, !tbaa !5
  %76 = getelementptr inbounds %struct._WffNode, ptr %75, i32 0, i32 5
  store ptr %74, ptr %76, align 8, !tbaa !16
  %77 = load ptr, ptr %7, align 8, !tbaa !5
  %78 = icmp ne ptr %77, null
  br i1 %78, label %79, label %83

79:                                               ; preds = %54
  %80 = load ptr, ptr %8, align 8, !tbaa !5
  %81 = load ptr, ptr %7, align 8, !tbaa !5
  %82 = getelementptr inbounds %struct._WffNode, ptr %81, i32 0, i32 6
  store ptr %80, ptr %82, align 8, !tbaa !17
  br label %83

83:                                               ; preds = %79, %54
  %84 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %84, ptr %7, align 8, !tbaa !5
  br label %85

85:                                               ; preds = %83
  %86 = load i32, ptr %10, align 4, !tbaa !9
  %87 = add nsw i32 %86, 1
  store i32 %87, ptr %10, align 4, !tbaa !9
  br label %44, !llvm.loop !18

88:                                               ; preds = %44
  %89 = load ptr, ptr %4, align 8, !tbaa !5
  %90 = load ptr, ptr %89, align 8, !tbaa !5
  %91 = getelementptr inbounds %struct._WffNode, ptr %90, i32 0, i32 9
  %92 = load ptr, ptr %91, align 8, !tbaa !14
  call void @free_WffNode(ptr noundef %92)
  %93 = load ptr, ptr %7, align 8, !tbaa !5
  %94 = load ptr, ptr %4, align 8, !tbaa !5
  %95 = load ptr, ptr %94, align 8, !tbaa !5
  %96 = getelementptr inbounds %struct._WffNode, ptr %95, i32 0, i32 4
  store ptr %93, ptr %96, align 8, !tbaa !20
  %97 = load ptr, ptr %4, align 8, !tbaa !5
  %98 = load ptr, ptr %97, align 8, !tbaa !5
  %99 = getelementptr inbounds %struct._WffNode, ptr %98, i32 0, i32 1
  store i32 -1, ptr %99, align 4, !tbaa !15
  %100 = load ptr, ptr %4, align 8, !tbaa !5
  %101 = load ptr, ptr %100, align 8, !tbaa !5
  %102 = getelementptr inbounds %struct._WffNode, ptr %101, i32 0, i32 2
  store i32 -1, ptr %102, align 8, !tbaa !13
  %103 = load ptr, ptr %4, align 8, !tbaa !5
  %104 = load ptr, ptr %103, align 8, !tbaa !5
  %105 = getelementptr inbounds %struct._WffNode, ptr %104, i32 0, i32 3
  %106 = load ptr, ptr %105, align 8, !tbaa !21
  %107 = icmp ne ptr %106, null
  br i1 %107, label %108, label %113

108:                                              ; preds = %88
  %109 = load ptr, ptr %4, align 8, !tbaa !5
  %110 = load ptr, ptr %109, align 8, !tbaa !5
  %111 = getelementptr inbounds %struct._WffNode, ptr %110, i32 0, i32 3
  %112 = load ptr, ptr %111, align 8, !tbaa !21
  call void @free(ptr noundef %112) #5
  br label %113

113:                                              ; preds = %108, %88
  %114 = load ptr, ptr %4, align 8, !tbaa !5
  %115 = load ptr, ptr %114, align 8, !tbaa !5
  %116 = getelementptr inbounds %struct._WffNode, ptr %115, i32 0, i32 3
  store ptr null, ptr %116, align 8, !tbaa !21
  %117 = load ptr, ptr %4, align 8, !tbaa !5
  %118 = load ptr, ptr %117, align 8, !tbaa !5
  %119 = getelementptr inbounds %struct._WffNode, ptr %118, i32 0, i32 4
  %120 = load ptr, ptr %119, align 8, !tbaa !20
  store ptr %120, ptr %9, align 8, !tbaa !5
  br label %121

121:                                              ; preds = %125, %113
  %122 = load ptr, ptr %9, align 8, !tbaa !5
  %123 = icmp ne ptr %122, null
  br i1 %123, label %124, label %129

124:                                              ; preds = %121
  call void @expand_quantifiers_in_wff(ptr noundef %9, i32 noundef -1, i32 noundef -1)
  br label %125

125:                                              ; preds = %124
  %126 = load ptr, ptr %9, align 8, !tbaa !5
  %127 = getelementptr inbounds %struct._WffNode, ptr %126, i32 0, i32 5
  %128 = load ptr, ptr %127, align 8, !tbaa !16
  store ptr %128, ptr %9, align 8, !tbaa !5
  br label %121, !llvm.loop !22

129:                                              ; preds = %121
  br label %348

130:                                              ; preds = %19, %19
  %131 = load ptr, ptr %4, align 8, !tbaa !5
  %132 = load ptr, ptr %131, align 8, !tbaa !5
  %133 = getelementptr inbounds %struct._WffNode, ptr %132, i32 0, i32 4
  %134 = load ptr, ptr %133, align 8, !tbaa !20
  store ptr %134, ptr %9, align 8, !tbaa !5
  br label %135

135:                                              ; preds = %141, %130
  %136 = load ptr, ptr %9, align 8, !tbaa !5
  %137 = icmp ne ptr %136, null
  br i1 %137, label %138, label %145

138:                                              ; preds = %135
  %139 = load i32, ptr %5, align 4, !tbaa !9
  %140 = load i32, ptr %6, align 4, !tbaa !9
  call void @expand_quantifiers_in_wff(ptr noundef %9, i32 noundef %139, i32 noundef %140)
  br label %141

141:                                              ; preds = %138
  %142 = load ptr, ptr %9, align 8, !tbaa !5
  %143 = getelementptr inbounds %struct._WffNode, ptr %142, i32 0, i32 5
  %144 = load ptr, ptr %143, align 8, !tbaa !16
  store ptr %144, ptr %9, align 8, !tbaa !5
  br label %135, !llvm.loop !23

145:                                              ; preds = %135
  br label %348

146:                                              ; preds = %19
  %147 = load ptr, ptr %4, align 8, !tbaa !5
  %148 = load ptr, ptr %147, align 8, !tbaa !5
  %149 = getelementptr inbounds %struct._WffNode, ptr %148, i32 0, i32 9
  %150 = load i32, ptr %5, align 4, !tbaa !9
  %151 = load i32, ptr %6, align 4, !tbaa !9
  call void @expand_quantifiers_in_wff(ptr noundef %149, i32 noundef %150, i32 noundef %151)
  br label %348

152:                                              ; preds = %19
  %153 = load i32, ptr %5, align 4, !tbaa !9
  %154 = icmp eq i32 %153, -1
  br i1 %154, label %155, label %156

155:                                              ; preds = %152
  br label %348

156:                                              ; preds = %152
  store i8 0, ptr %12, align 1, !tbaa !24
  store i32 0, ptr %11, align 4, !tbaa !9
  br label %157

157:                                              ; preds = %194, %156
  %158 = load i32, ptr %11, align 4, !tbaa !9
  %159 = load ptr, ptr %4, align 8, !tbaa !5
  %160 = load ptr, ptr %159, align 8, !tbaa !5
  %161 = getelementptr inbounds %struct._WffNode, ptr %160, i32 0, i32 7
  %162 = load ptr, ptr %161, align 8, !tbaa !25
  %163 = getelementptr inbounds %struct._Fact, ptr %162, i32 0, i32 0
  %164 = load i32, ptr %163, align 4, !tbaa !26
  %165 = sext i32 %164 to i64
  %166 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %165
  %167 = load i32, ptr %166, align 4, !tbaa !9
  %168 = icmp slt i32 %158, %167
  br i1 %168, label %169, label %197

169:                                              ; preds = %157
  %170 = load ptr, ptr %4, align 8, !tbaa !5
  %171 = load ptr, ptr %170, align 8, !tbaa !5
  %172 = getelementptr inbounds %struct._WffNode, ptr %171, i32 0, i32 7
  %173 = load ptr, ptr %172, align 8, !tbaa !25
  %174 = getelementptr inbounds %struct._Fact, ptr %173, i32 0, i32 1
  %175 = load i32, ptr %11, align 4, !tbaa !9
  %176 = sext i32 %175 to i64
  %177 = getelementptr inbounds [5 x i32], ptr %174, i64 0, i64 %176
  %178 = load i32, ptr %177, align 4, !tbaa !9
  %179 = load i32, ptr %5, align 4, !tbaa !9
  %180 = mul nsw i32 %179, -1
  %181 = sub nsw i32 %180, 1
  %182 = icmp eq i32 %178, %181
  br i1 %182, label %183, label %193

183:                                              ; preds = %169
  %184 = load i32, ptr %6, align 4, !tbaa !9
  %185 = load ptr, ptr %4, align 8, !tbaa !5
  %186 = load ptr, ptr %185, align 8, !tbaa !5
  %187 = getelementptr inbounds %struct._WffNode, ptr %186, i32 0, i32 7
  %188 = load ptr, ptr %187, align 8, !tbaa !25
  %189 = getelementptr inbounds %struct._Fact, ptr %188, i32 0, i32 1
  %190 = load i32, ptr %11, align 4, !tbaa !9
  %191 = sext i32 %190 to i64
  %192 = getelementptr inbounds [5 x i32], ptr %189, i64 0, i64 %191
  store i32 %184, ptr %192, align 4, !tbaa !9
  store i8 1, ptr %12, align 1, !tbaa !24
  br label %193

193:                                              ; preds = %183, %169
  br label %194

194:                                              ; preds = %193
  %195 = load i32, ptr %11, align 4, !tbaa !9
  %196 = add nsw i32 %195, 1
  store i32 %196, ptr %11, align 4, !tbaa !9
  br label %157, !llvm.loop !28

197:                                              ; preds = %157
  %198 = load i8, ptr %12, align 1, !tbaa !24
  %199 = icmp ne i8 %198, 0
  br i1 %199, label %208, label %200

200:                                              ; preds = %197
  %201 = load ptr, ptr %4, align 8, !tbaa !5
  %202 = load ptr, ptr %201, align 8, !tbaa !5
  %203 = getelementptr inbounds %struct._WffNode, ptr %202, i32 0, i32 13
  %204 = load i8, ptr %203, align 8, !tbaa !29
  %205 = zext i8 %204 to i32
  %206 = icmp ne i32 %205, 0
  br i1 %206, label %207, label %208

207:                                              ; preds = %200
  br label %348

208:                                              ; preds = %200, %197
  %209 = load ptr, ptr %4, align 8, !tbaa !5
  %210 = load ptr, ptr %209, align 8, !tbaa !5
  %211 = getelementptr inbounds %struct._WffNode, ptr %210, i32 0, i32 7
  %212 = load ptr, ptr %211, align 8, !tbaa !25
  %213 = call zeroext i8 @possibly_negative(ptr noundef %212)
  %214 = icmp ne i8 %213, 0
  br i1 %214, label %226, label %215

215:                                              ; preds = %208
  %216 = load ptr, ptr %4, align 8, !tbaa !5
  %217 = load ptr, ptr %216, align 8, !tbaa !5
  %218 = getelementptr inbounds %struct._WffNode, ptr %217, i32 0, i32 0
  store i32 2000, ptr %218, align 8, !tbaa !11
  %219 = load ptr, ptr %4, align 8, !tbaa !5
  %220 = load ptr, ptr %219, align 8, !tbaa !5
  %221 = getelementptr inbounds %struct._WffNode, ptr %220, i32 0, i32 7
  %222 = load ptr, ptr %221, align 8, !tbaa !25
  call void @free(ptr noundef %222) #5
  %223 = load ptr, ptr %4, align 8, !tbaa !5
  %224 = load ptr, ptr %223, align 8, !tbaa !5
  %225 = getelementptr inbounds %struct._WffNode, ptr %224, i32 0, i32 7
  store ptr null, ptr %225, align 8, !tbaa !25
  br label %348

226:                                              ; preds = %208
  %227 = load ptr, ptr %4, align 8, !tbaa !5
  %228 = load ptr, ptr %227, align 8, !tbaa !5
  %229 = getelementptr inbounds %struct._WffNode, ptr %228, i32 0, i32 7
  %230 = load ptr, ptr %229, align 8, !tbaa !25
  %231 = call zeroext i8 @possibly_positive(ptr noundef %230)
  %232 = icmp ne i8 %231, 0
  br i1 %232, label %244, label %233

233:                                              ; preds = %226
  %234 = load ptr, ptr %4, align 8, !tbaa !5
  %235 = load ptr, ptr %234, align 8, !tbaa !5
  %236 = getelementptr inbounds %struct._WffNode, ptr %235, i32 0, i32 0
  store i32 2001, ptr %236, align 8, !tbaa !11
  %237 = load ptr, ptr %4, align 8, !tbaa !5
  %238 = load ptr, ptr %237, align 8, !tbaa !5
  %239 = getelementptr inbounds %struct._WffNode, ptr %238, i32 0, i32 7
  %240 = load ptr, ptr %239, align 8, !tbaa !25
  call void @free(ptr noundef %240) #5
  %241 = load ptr, ptr %4, align 8, !tbaa !5
  %242 = load ptr, ptr %241, align 8, !tbaa !5
  %243 = getelementptr inbounds %struct._WffNode, ptr %242, i32 0, i32 7
  store ptr null, ptr %243, align 8, !tbaa !25
  br label %348

244:                                              ; preds = %226
  %245 = load ptr, ptr %4, align 8, !tbaa !5
  %246 = load ptr, ptr %245, align 8, !tbaa !5
  %247 = getelementptr inbounds %struct._WffNode, ptr %246, i32 0, i32 13
  store i8 1, ptr %247, align 8, !tbaa !29
  br label %348

248:                                              ; preds = %19
  %249 = load i32, ptr %5, align 4, !tbaa !9
  %250 = icmp eq i32 %249, -1
  br i1 %250, label %251, label %252

251:                                              ; preds = %248
  br label %348

252:                                              ; preds = %248
  %253 = load ptr, ptr %4, align 8, !tbaa !5
  %254 = load ptr, ptr %253, align 8, !tbaa !5
  %255 = getelementptr inbounds %struct._WffNode, ptr %254, i32 0, i32 11
  %256 = load i32, ptr %5, align 4, !tbaa !9
  %257 = load i32, ptr %6, align 4, !tbaa !9
  call void @replace_var_with_const_in_exp(ptr noundef %255, i32 noundef %256, i32 noundef %257)
  %258 = load ptr, ptr %4, align 8, !tbaa !5
  %259 = load ptr, ptr %258, align 8, !tbaa !5
  %260 = getelementptr inbounds %struct._WffNode, ptr %259, i32 0, i32 12
  %261 = load i32, ptr %5, align 4, !tbaa !9
  %262 = load i32, ptr %6, align 4, !tbaa !9
  call void @replace_var_with_const_in_exp(ptr noundef %260, i32 noundef %261, i32 noundef %262)
  %263 = load ptr, ptr %4, align 8, !tbaa !5
  %264 = load ptr, ptr %263, align 8, !tbaa !5
  %265 = getelementptr inbounds %struct._WffNode, ptr %264, i32 0, i32 11
  %266 = load ptr, ptr %265, align 8, !tbaa !30
  %267 = getelementptr inbounds %struct._ExpNode, ptr %266, i32 0, i32 0
  %268 = load i32, ptr %267, align 8, !tbaa !31
  %269 = icmp ne i32 %268, 1001
  br i1 %269, label %278, label %270

270:                                              ; preds = %252
  %271 = load ptr, ptr %4, align 8, !tbaa !5
  %272 = load ptr, ptr %271, align 8, !tbaa !5
  %273 = getelementptr inbounds %struct._WffNode, ptr %272, i32 0, i32 12
  %274 = load ptr, ptr %273, align 8, !tbaa !34
  %275 = getelementptr inbounds %struct._ExpNode, ptr %274, i32 0, i32 0
  %276 = load i32, ptr %275, align 8, !tbaa !31
  %277 = icmp ne i32 %276, 1001
  br i1 %277, label %278, label %279

278:                                              ; preds = %270, %252
  br label %348

279:                                              ; preds = %270
  %280 = load ptr, ptr %4, align 8, !tbaa !5
  %281 = load ptr, ptr %280, align 8, !tbaa !5
  %282 = getelementptr inbounds %struct._WffNode, ptr %281, i32 0, i32 10
  %283 = load i32, ptr %282, align 8, !tbaa !35
  %284 = load ptr, ptr %4, align 8, !tbaa !5
  %285 = load ptr, ptr %284, align 8, !tbaa !5
  %286 = getelementptr inbounds %struct._WffNode, ptr %285, i32 0, i32 11
  %287 = load ptr, ptr %286, align 8, !tbaa !30
  %288 = getelementptr inbounds %struct._ExpNode, ptr %287, i32 0, i32 4
  %289 = load float, ptr %288, align 8, !tbaa !36
  %290 = load ptr, ptr %4, align 8, !tbaa !5
  %291 = load ptr, ptr %290, align 8, !tbaa !5
  %292 = getelementptr inbounds %struct._WffNode, ptr %291, i32 0, i32 12
  %293 = load ptr, ptr %292, align 8, !tbaa !34
  %294 = getelementptr inbounds %struct._ExpNode, ptr %293, i32 0, i32 4
  %295 = load float, ptr %294, align 8, !tbaa !36
  %296 = call zeroext i8 @number_comparison_holds(i32 noundef %283, float noundef %289, float noundef %295)
  store i8 %296, ptr %13, align 1, !tbaa !24
  %297 = load i8, ptr %13, align 1, !tbaa !24
  %298 = icmp ne i8 %297, 0
  br i1 %298, label %299, label %320

299:                                              ; preds = %279
  %300 = load ptr, ptr %4, align 8, !tbaa !5
  %301 = load ptr, ptr %300, align 8, !tbaa !5
  %302 = getelementptr inbounds %struct._WffNode, ptr %301, i32 0, i32 0
  store i32 2000, ptr %302, align 8, !tbaa !11
  %303 = load ptr, ptr %4, align 8, !tbaa !5
  %304 = load ptr, ptr %303, align 8, !tbaa !5
  %305 = getelementptr inbounds %struct._WffNode, ptr %304, i32 0, i32 11
  %306 = load ptr, ptr %305, align 8, !tbaa !30
  call void @free_ExpNode(ptr noundef %306)
  %307 = load ptr, ptr %4, align 8, !tbaa !5
  %308 = load ptr, ptr %307, align 8, !tbaa !5
  %309 = getelementptr inbounds %struct._WffNode, ptr %308, i32 0, i32 11
  store ptr null, ptr %309, align 8, !tbaa !30
  %310 = load ptr, ptr %4, align 8, !tbaa !5
  %311 = load ptr, ptr %310, align 8, !tbaa !5
  %312 = getelementptr inbounds %struct._WffNode, ptr %311, i32 0, i32 12
  %313 = load ptr, ptr %312, align 8, !tbaa !34
  call void @free_ExpNode(ptr noundef %313)
  %314 = load ptr, ptr %4, align 8, !tbaa !5
  %315 = load ptr, ptr %314, align 8, !tbaa !5
  %316 = getelementptr inbounds %struct._WffNode, ptr %315, i32 0, i32 12
  store ptr null, ptr %316, align 8, !tbaa !34
  %317 = load ptr, ptr %4, align 8, !tbaa !5
  %318 = load ptr, ptr %317, align 8, !tbaa !5
  %319 = getelementptr inbounds %struct._WffNode, ptr %318, i32 0, i32 10
  store i32 -1, ptr %319, align 8, !tbaa !35
  br label %348

320:                                              ; preds = %279
  %321 = load ptr, ptr %4, align 8, !tbaa !5
  %322 = load ptr, ptr %321, align 8, !tbaa !5
  %323 = getelementptr inbounds %struct._WffNode, ptr %322, i32 0, i32 0
  store i32 2001, ptr %323, align 8, !tbaa !11
  %324 = load ptr, ptr %4, align 8, !tbaa !5
  %325 = load ptr, ptr %324, align 8, !tbaa !5
  %326 = getelementptr inbounds %struct._WffNode, ptr %325, i32 0, i32 11
  %327 = load ptr, ptr %326, align 8, !tbaa !30
  call void @free_ExpNode(ptr noundef %327)
  %328 = load ptr, ptr %4, align 8, !tbaa !5
  %329 = load ptr, ptr %328, align 8, !tbaa !5
  %330 = getelementptr inbounds %struct._WffNode, ptr %329, i32 0, i32 11
  store ptr null, ptr %330, align 8, !tbaa !30
  %331 = load ptr, ptr %4, align 8, !tbaa !5
  %332 = load ptr, ptr %331, align 8, !tbaa !5
  %333 = getelementptr inbounds %struct._WffNode, ptr %332, i32 0, i32 12
  %334 = load ptr, ptr %333, align 8, !tbaa !34
  call void @free_ExpNode(ptr noundef %334)
  %335 = load ptr, ptr %4, align 8, !tbaa !5
  %336 = load ptr, ptr %335, align 8, !tbaa !5
  %337 = getelementptr inbounds %struct._WffNode, ptr %336, i32 0, i32 12
  store ptr null, ptr %337, align 8, !tbaa !34
  %338 = load ptr, ptr %4, align 8, !tbaa !5
  %339 = load ptr, ptr %338, align 8, !tbaa !5
  %340 = getelementptr inbounds %struct._WffNode, ptr %339, i32 0, i32 10
  store i32 -1, ptr %340, align 8, !tbaa !35
  br label %348

341:                                              ; preds = %19, %19
  br label %348

342:                                              ; preds = %19
  %343 = load ptr, ptr %4, align 8, !tbaa !5
  %344 = load ptr, ptr %343, align 8, !tbaa !5
  %345 = getelementptr inbounds %struct._WffNode, ptr %344, i32 0, i32 0
  %346 = load i32, ptr %345, align 8, !tbaa !11
  %347 = call i32 (ptr, ...) @printf(ptr noundef @.str.99, i32 noundef %346)
  call void @exit(i32 noundef 1) #6
  unreachable

348:                                              ; preds = %341, %320, %299, %278, %251, %244, %233, %215, %207, %155, %146, %145, %129
  store i32 0, ptr %14, align 4
  br label %349

349:                                              ; preds = %348, %27, %18
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 1, 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 8, ptr %9) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #5
  %350 = load i32, ptr %14, align 4
  switch i32 %350, label %352 [
    i32 0, label %351
    i32 1, label %351
  ]

351:                                              ; preds = %349, %349
  ret void

352:                                              ; preds = %349
  unreachable
}

; Function Attrs: nounwind
declare void @free(ptr noundef) #4

declare void @free_ExpNode(ptr noundef) #1

declare void @free_WffNode(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @possibly_negative(ptr noundef) #3

; Function Attrs: nounwind uwtable
declare dso_local zeroext i8 @possibly_positive(ptr noundef) #3

declare zeroext i8 @number_comparison_holds(i32 noundef, float noundef, float noundef) #1

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

; Function Attrs: nounwind uwtable
declare dso_local void @replace_var_with_const_in_exp(ptr noundef, i32 noundef, i32 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 = { 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 #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 = { 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 }

!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 = !{!"_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}
!13 = !{!12, !10, i64 8}
!14 = !{!12, !6, i64 64}
!15 = !{!12, !10, i64 4}
!16 = !{!12, !6, i64 32}
!17 = !{!12, !6, i64 40}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.mustprogress"}
!20 = !{!12, !6, i64 24}
!21 = !{!12, !6, i64 16}
!22 = distinct !{!22, !19}
!23 = distinct !{!23, !19}
!24 = !{!7, !7, i64 0}
!25 = !{!12, !6, i64 48}
!26 = !{!27, !10, i64 0}
!27 = !{!"_Fact", !10, i64 0, !7, i64 4}
!28 = distinct !{!28, !19}
!29 = !{!12, !7, i64 96}
!30 = !{!12, !6, i64 80}
!31 = !{!32, !10, i64 0}
!32 = !{!"_ExpNode", !10, i64 0, !6, i64 8, !10, i64 16, !33, i64 20, !33, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!33 = !{!"float", !7, i64 0}
!34 = !{!12, !6, i64 88}
!35 = !{!12, !10, i64 72}
!36 = !{!32, !33, i64 24}


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

@gtype_size = external local_unnamed_addr global [50 x i32], align 16
@gtype_consts = external local_unnamed_addr global [50 x [2000 x i32]], align 16
@garity = external local_unnamed_addr global [50 x i32], align 16
@.str.99 = external hidden unnamed_addr constant [45 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 nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

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

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

7:                                                ; preds = %3
  %8 = load i32, ptr %6, align 8, !tbaa !9
  switch i32 %8, label %155 [
    i32 2008, label %9
    i32 2009, label %9
    i32 2006, label %61
    i32 2007, label %61
    i32 2005, label %64
    i32 2002, label %66
    i32 2003, label %109
    i32 2000, label %.loopexit
    i32 2001, label %.loopexit
  ]

9:                                                ; preds = %7, %7
  %.not94 = icmp eq i32 %1, -1
  br i1 %.not94, label %12, label %10

10:                                               ; preds = %9
  %11 = getelementptr inbounds i8, ptr %6, i64 64
  tail call void @expand_quantifiers_in_wff(ptr noundef nonnull %11, i32 noundef %1, i32 noundef %2)
  br label %.loopexit

12:                                               ; preds = %9
  %13 = icmp eq i32 %8, 2008
  %14 = select i1 %13, i32 2006, i32 2007
  store i32 %14, ptr %6, align 8, !tbaa !9
  %15 = getelementptr inbounds i8, ptr %6, i64 8
  %16 = load i32, ptr %15, align 8, !tbaa !12
  %17 = sext i32 %16 to i64
  %18 = getelementptr inbounds [50 x i32], ptr @gtype_size, i64 0, i64 %17
  %19 = load i32, ptr %18, align 4, !tbaa !13
  %20 = icmp sgt i32 %19, 0
  br i1 %20, label %.lr.ph112, label %._crit_edge113

.lr.ph112:                                        ; preds = %12, %36
  %indvars.iv124 = phi i64 [ %indvars.iv.next125, %36 ], [ 0, %12 ]
  %21 = phi ptr [ %37, %36 ], [ %6, %12 ]
  %.0110 = phi ptr [ %24, %36 ], [ null, %12 ]
  %22 = getelementptr inbounds i8, ptr %21, i64 64
  %23 = load ptr, ptr %22, align 8, !tbaa !14
  %24 = tail call ptr @copy_Wff(ptr noundef %23)
  store ptr %24, ptr %4, align 8, !tbaa !5
  %25 = load ptr, ptr %0, align 8, !tbaa !5
  %26 = getelementptr inbounds i8, ptr %25, i64 4
  %27 = load i32, ptr %26, align 4, !tbaa !15
  %28 = getelementptr inbounds i8, ptr %25, i64 8
  %29 = load i32, ptr %28, align 8, !tbaa !12
  %30 = sext i32 %29 to i64
  %31 = getelementptr inbounds [50 x [2000 x i32]], ptr @gtype_consts, i64 0, i64 %30, i64 %indvars.iv124
  %32 = load i32, ptr %31, align 4, !tbaa !13
  call void @expand_quantifiers_in_wff(ptr noundef nonnull %4, i32 noundef %27, i32 noundef %32)
  %33 = getelementptr inbounds i8, ptr %24, i64 32
  store ptr %.0110, ptr %33, align 8, !tbaa !16
  %.not98 = icmp eq ptr %.0110, null
  br i1 %.not98, label %36, label %34

34:                                               ; preds = %.lr.ph112
  %35 = getelementptr inbounds i8, ptr %.0110, i64 40
  store ptr %24, ptr %35, align 8, !tbaa !17
  br label %36

36:                                               ; preds = %34, %.lr.ph112
  %indvars.iv.next125 = add nuw nsw i64 %indvars.iv124, 1
  %37 = load ptr, ptr %0, align 8, !tbaa !5
  %38 = getelementptr inbounds i8, ptr %37, i64 8
  %39 = load i32, ptr %38, align 8, !tbaa !12
  %40 = sext i32 %39 to i64
  %41 = getelementptr inbounds [50 x i32], ptr @gtype_size, i64 0, i64 %40
  %42 = load i32, ptr %41, align 4, !tbaa !13
  %43 = sext i32 %42 to i64
  %44 = icmp slt i64 %indvars.iv.next125, %43
  br i1 %44, label %.lr.ph112, label %._crit_edge113, !llvm.loop !18

._crit_edge113:                                   ; preds = %36, %12
  %.0.lcssa = phi ptr [ null, %12 ], [ %24, %36 ]
  %.lcssa = phi ptr [ %6, %12 ], [ %37, %36 ]
  %45 = getelementptr inbounds i8, ptr %.lcssa, i64 64
  %46 = load ptr, ptr %45, align 8, !tbaa !14
  tail call void @free_WffNode(ptr noundef %46) #6
  %47 = load ptr, ptr %0, align 8, !tbaa !5
  %48 = getelementptr inbounds i8, ptr %47, i64 24
  store ptr %.0.lcssa, ptr %48, align 8, !tbaa !20
  %49 = load ptr, ptr %0, align 8, !tbaa !5
  %50 = getelementptr inbounds i8, ptr %49, i64 4
  store i32 -1, ptr %50, align 4, !tbaa !15
  %51 = getelementptr inbounds i8, ptr %49, i64 8
  store i32 -1, ptr %51, align 8, !tbaa !12
  %52 = getelementptr inbounds i8, ptr %49, i64 16
  %53 = load ptr, ptr %52, align 8, !tbaa !21
  %.not95 = icmp eq ptr %53, null
  br i1 %.not95, label %55, label %54

54:                                               ; preds = %._crit_edge113
  tail call void @free(ptr noundef nonnull %53) #6
  %.pre127 = load ptr, ptr %0, align 8, !tbaa !5
  br label %55

55:                                               ; preds = %54, %._crit_edge113
  %56 = phi ptr [ %.pre127, %54 ], [ %49, %._crit_edge113 ]
  %57 = getelementptr inbounds i8, ptr %56, i64 16
  store ptr null, ptr %57, align 8, !tbaa !21
  %58 = load ptr, ptr %0, align 8, !tbaa !5
  %59 = getelementptr inbounds i8, ptr %58, i64 24
  %storemerge96116 = load ptr, ptr %59, align 8, !tbaa !5
  store ptr %storemerge96116, ptr %5, align 8, !tbaa !5
  %.not97117 = icmp eq ptr %storemerge96116, null
  br i1 %.not97117, label %.loopexit, label %.lr.ph120

.lr.ph120:                                        ; preds = %55, %.lr.ph120
  %storemerge96118 = phi ptr [ %storemerge96, %.lr.ph120 ], [ %storemerge96116, %55 ]
  call void @expand_quantifiers_in_wff(ptr noundef nonnull %5, i32 noundef -1, i32 noundef -1)
  %60 = getelementptr inbounds i8, ptr %storemerge96118, i64 32
  %storemerge96 = load ptr, ptr %60, align 8, !tbaa !5
  store ptr %storemerge96, ptr %5, align 8, !tbaa !5
  %.not97 = icmp eq ptr %storemerge96, null
  br i1 %.not97, label %.loopexit, label %.lr.ph120, !llvm.loop !22

61:                                               ; preds = %7, %7
  %62 = getelementptr inbounds i8, ptr %6, i64 24
  %storemerge104 = load ptr, ptr %62, align 8, !tbaa !5
  store ptr %storemerge104, ptr %5, align 8, !tbaa !5
  %.not93105 = icmp eq ptr %storemerge104, null
  br i1 %.not93105, label %.loopexit, label %.lr.ph108

.lr.ph108:                                        ; preds = %61, %.lr.ph108
  %storemerge106 = phi ptr [ %storemerge, %.lr.ph108 ], [ %storemerge104, %61 ]
  call void @expand_quantifiers_in_wff(ptr noundef nonnull %5, i32 noundef %1, i32 noundef %2)
  %63 = getelementptr inbounds i8, ptr %storemerge106, i64 32
  %storemerge = load ptr, ptr %63, align 8, !tbaa !5
  store ptr %storemerge, ptr %5, align 8, !tbaa !5
  %.not93 = icmp eq ptr %storemerge, null
  br i1 %.not93, label %.loopexit, label %.lr.ph108, !llvm.loop !23

64:                                               ; preds = %7
  %65 = getelementptr inbounds i8, ptr %6, i64 64
  tail call void @expand_quantifiers_in_wff(ptr noundef nonnull %65, i32 noundef %1, i32 noundef %2)
  br label %.loopexit

66:                                               ; preds = %7
  %67 = icmp eq i32 %1, -1
  br i1 %67, label %.loopexit, label %.preheader

.preheader:                                       ; preds = %66
  %68 = getelementptr inbounds i8, ptr %6, i64 48
  %69 = load ptr, ptr %68, align 8, !tbaa !24
  %70 = load i32, ptr %69, align 4, !tbaa !25
  %71 = sext i32 %70 to i64
  %72 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %71
  %73 = load i32, ptr %72, align 4, !tbaa !13
  %74 = icmp sgt i32 %73, 0
  br i1 %74, label %.lr.ph, label %._crit_edge.thread

.lr.ph:                                           ; preds = %.preheader
  %75 = getelementptr inbounds i8, ptr %69, i64 4
  br label %.outer

.outer:                                           ; preds = %.thread, %.lr.ph
  %.ph = phi i32 [ %.pre, %.thread ], [ %73, %.lr.ph ]
  %indvars.iv.ph = phi i64 [ %indvars.iv.next130, %.thread ], [ 0, %.lr.ph ]
  %76 = phi i1 [ false, %.thread ], [ true, %.lr.ph ]
  %77 = sext i32 %.ph to i64
  br label %78

78:                                               ; preds = %.outer, %83
  %indvars.iv = phi i64 [ %indvars.iv.next, %83 ], [ %indvars.iv.ph, %.outer ]
  %79 = getelementptr inbounds [5 x i32], ptr %75, i64 0, i64 %indvars.iv
  %80 = load i32, ptr %79, align 4, !tbaa !13
  %81 = xor i32 %80, %1
  %82 = icmp eq i32 %81, -1
  br i1 %82, label %.thread, label %83

83:                                               ; preds = %78
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %84 = icmp slt i64 %indvars.iv.next, %77
  br i1 %84, label %78, label %._crit_edge, !llvm.loop !27

.thread:                                          ; preds = %78
  %85 = getelementptr inbounds [5 x i32], ptr %75, i64 0, i64 %indvars.iv
  store i32 %2, ptr %85, align 4, !tbaa !13
  %.pre = load i32, ptr %72, align 4, !tbaa !13
  %indvars.iv.next130 = add nuw nsw i64 %indvars.iv, 1
  %86 = sext i32 %.pre to i64
  %87 = icmp slt i64 %indvars.iv.next130, %86
  br i1 %87, label %.outer, label %._crit_edge.thread132, !llvm.loop !27

._crit_edge:                                      ; preds = %83
  br i1 %76, label %._crit_edge.thread, label %._crit_edge.thread132

._crit_edge.thread:                               ; preds = %.preheader, %._crit_edge
  %88 = getelementptr inbounds i8, ptr %6, i64 96
  %89 = load i8, ptr %88, align 8, !tbaa !28
  %.not90 = icmp eq i8 %89, 0
  br i1 %.not90, label %._crit_edge.thread132, label %.loopexit

._crit_edge.thread132:                            ; preds = %.thread, %._crit_edge.thread, %._crit_edge
  %90 = tail call zeroext i8 @possibly_negative(ptr noundef nonnull %69)
  %.not91 = icmp eq i8 %90, 0
  %91 = load ptr, ptr %0, align 8, !tbaa !5
  br i1 %.not91, label %92, label %97

92:                                               ; preds = %._crit_edge.thread132
  store i32 2000, ptr %91, align 8, !tbaa !9
  %93 = getelementptr inbounds i8, ptr %91, i64 48
  %94 = load ptr, ptr %93, align 8, !tbaa !24
  tail call void @free(ptr noundef %94) #6
  %95 = load ptr, ptr %0, align 8, !tbaa !5
  %96 = getelementptr inbounds i8, ptr %95, i64 48
  store ptr null, ptr %96, align 8, !tbaa !24
  br label %.loopexit

97:                                               ; preds = %._crit_edge.thread132
  %98 = getelementptr inbounds i8, ptr %91, i64 48
  %99 = load ptr, ptr %98, align 8, !tbaa !24
  %100 = tail call zeroext i8 @possibly_positive(ptr noundef %99)
  %.not92 = icmp eq i8 %100, 0
  %101 = load ptr, ptr %0, align 8, !tbaa !5
  br i1 %.not92, label %102, label %107

102:                                              ; preds = %97
  store i32 2001, ptr %101, align 8, !tbaa !9
  %103 = getelementptr inbounds i8, ptr %101, i64 48
  %104 = load ptr, ptr %103, align 8, !tbaa !24
  tail call void @free(ptr noundef %104) #6
  %105 = load ptr, ptr %0, align 8, !tbaa !5
  %106 = getelementptr inbounds i8, ptr %105, i64 48
  store ptr null, ptr %106, align 8, !tbaa !24
  br label %.loopexit

107:                                              ; preds = %97
  %108 = getelementptr inbounds i8, ptr %101, i64 96
  store i8 1, ptr %108, align 8, !tbaa !28
  br label %.loopexit

109:                                              ; preds = %7
  %110 = icmp eq i32 %1, -1
  br i1 %110, label %.loopexit, label %111

111:                                              ; preds = %109
  %112 = getelementptr inbounds i8, ptr %6, i64 80
  tail call void @replace_var_with_const_in_exp(ptr noundef nonnull %112, i32 noundef %1, i32 noundef %2)
  %113 = load ptr, ptr %0, align 8, !tbaa !5
  %114 = getelementptr inbounds i8, ptr %113, i64 88
  tail call void @replace_var_with_const_in_exp(ptr noundef nonnull %114, i32 noundef %1, i32 noundef %2)
  %115 = load ptr, ptr %0, align 8, !tbaa !5
  %116 = getelementptr inbounds i8, ptr %115, i64 80
  %117 = load ptr, ptr %116, align 8, !tbaa !29
  %118 = load i32, ptr %117, align 8, !tbaa !30
  %.not86 = icmp eq i32 %118, 1001
  br i1 %.not86, label %119, label %.loopexit

119:                                              ; preds = %111
  %120 = getelementptr inbounds i8, ptr %115, i64 88
  %121 = load ptr, ptr %120, align 8, !tbaa !33
  %122 = load i32, ptr %121, align 8, !tbaa !30
  %.not87 = icmp eq i32 %122, 1001
  br i1 %.not87, label %123, label %.loopexit

123:                                              ; preds = %119
  %124 = getelementptr inbounds i8, ptr %115, i64 72
  %125 = load i32, ptr %124, align 8, !tbaa !34
  %126 = getelementptr inbounds i8, ptr %117, i64 24
  %127 = load float, ptr %126, align 8, !tbaa !35
  %128 = getelementptr inbounds i8, ptr %121, i64 24
  %129 = load float, ptr %128, align 8, !tbaa !35
  %130 = tail call zeroext i8 @number_comparison_holds(i32 noundef %125, float noundef %127, float noundef %129) #6
  %.not88 = icmp eq i8 %130, 0
  %131 = load ptr, ptr %0, align 8, !tbaa !5
  %132 = getelementptr inbounds i8, ptr %131, i64 80
  br i1 %.not88, label %144, label %133

133:                                              ; preds = %123
  store i32 2000, ptr %131, align 8, !tbaa !9
  %134 = load ptr, ptr %132, align 8, !tbaa !29
  tail call void @free_ExpNode(ptr noundef %134) #6
  %135 = load ptr, ptr %0, align 8, !tbaa !5
  %136 = getelementptr inbounds i8, ptr %135, i64 80
  store ptr null, ptr %136, align 8, !tbaa !29
  %137 = load ptr, ptr %0, align 8, !tbaa !5
  %138 = getelementptr inbounds i8, ptr %137, i64 88
  %139 = load ptr, ptr %138, align 8, !tbaa !33
  tail call void @free_ExpNode(ptr noundef %139) #6
  %140 = load ptr, ptr %0, align 8, !tbaa !5
  %141 = getelementptr inbounds i8, ptr %140, i64 88
  store ptr null, ptr %141, align 8, !tbaa !33
  %142 = load ptr, ptr %0, align 8, !tbaa !5
  %143 = getelementptr inbounds i8, ptr %142, i64 72
  store i32 -1, ptr %143, align 8, !tbaa !34
  br label %.loopexit

144:                                              ; preds = %123
  store i32 2001, ptr %131, align 8, !tbaa !9
  %145 = load ptr, ptr %132, align 8, !tbaa !29
  tail call void @free_ExpNode(ptr noundef %145) #6
  %146 = load ptr, ptr %0, align 8, !tbaa !5
  %147 = getelementptr inbounds i8, ptr %146, i64 80
  store ptr null, ptr %147, align 8, !tbaa !29
  %148 = load ptr, ptr %0, align 8, !tbaa !5
  %149 = getelementptr inbounds i8, ptr %148, i64 88
  %150 = load ptr, ptr %149, align 8, !tbaa !33
  tail call void @free_ExpNode(ptr noundef %150) #6
  %151 = load ptr, ptr %0, align 8, !tbaa !5
  %152 = getelementptr inbounds i8, ptr %151, i64 88
  store ptr null, ptr %152, align 8, !tbaa !33
  %153 = load ptr, ptr %0, align 8, !tbaa !5
  %154 = getelementptr inbounds i8, ptr %153, i64 72
  store i32 -1, ptr %154, align 8, !tbaa !34
  br label %.loopexit

155:                                              ; preds = %7
  %156 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.99, i32 noundef %8)
  tail call void @exit(i32 noundef 1) #7
  unreachable

.loopexit:                                        ; preds = %.lr.ph108, %.lr.ph120, %61, %55, %64, %92, %102, %107, %133, %144, %66, %._crit_edge.thread, %109, %119, %111, %7, %7, %3, %10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #6
  ret void
}

; Function Attrs: mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite)
declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #4

declare void @free_ExpNode(ptr noundef) local_unnamed_addr #5

declare void @free_WffNode(ptr noundef) local_unnamed_addr #5

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

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

declare zeroext i8 @number_comparison_holds(i32 noundef, float noundef, float noundef) local_unnamed_addr #5

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

; Function Attrs: nounwind uwtable
declare dso_local void @replace_var_with_const_in_exp(ptr noundef, i32 noundef, i32 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 = { 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 #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 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, 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 #5 = { "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 }

!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, !11, i64 0}
!10 = !{!"_WffNode", !11, i64 0, !11, i64 4, !11, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !11, i64 56, !6, i64 64, !11, i64 72, !6, i64 80, !6, i64 88, !7, i64 96}
!11 = !{!"int", !7, i64 0}
!12 = !{!10, !11, i64 8}
!13 = !{!11, !11, i64 0}
!14 = !{!10, !6, i64 64}
!15 = !{!10, !11, i64 4}
!16 = !{!10, !6, i64 32}
!17 = !{!10, !6, i64 40}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.mustprogress"}
!20 = !{!10, !6, i64 24}
!21 = !{!10, !6, i64 16}
!22 = distinct !{!22, !19}
!23 = distinct !{!23, !19}
!24 = !{!10, !6, i64 48}
!25 = !{!26, !11, i64 0}
!26 = !{!"_Fact", !11, i64 0, !7, i64 4}
!27 = distinct !{!27, !19}
!28 = !{!10, !7, i64 96}
!29 = !{!10, !6, i64 80}
!30 = !{!31, !11, i64 0}
!31 = !{!"_ExpNode", !11, i64 0, !6, i64 8, !11, i64 16, !32, i64 20, !32, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!32 = !{!"float", !7, i64 0}
!33 = !{!10, !6, i64 88}
!34 = !{!10, !11, i64 72}
!35 = !{!31, !32, i64 24}


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