; 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._command_line = type { [256 x i8], [256 x i8], [256 x i8], i32, i32, i32, i8, i32, float }
%struct._PlNode = type { i32, ptr, ptr, i32, i32, ptr, ptr, ptr, ptr }
%struct._Fact = type { i32, [5 x i32] }
%struct._FluentValue = type { %struct._Fluent, float }
%struct._Fluent = type { i32, [5 x i32] }
%struct._ParseExpNode = type { i32, ptr, ptr, ptr }
%struct._TokenList = type { ptr, ptr }
%struct._ExpNode = type { i32, ptr, i32, float, float, ptr, ptr, ptr }
%struct._PlOperator = type { ptr, i8, i32, ptr, ptr, ptr, ptr, ptr }
%struct._Operator = type { ptr, [15 x ptr], i32, i8, i32, [15 x i32], [15 x i8], ptr, ptr, i8 }
%struct._FactList = type { ptr, ptr }
%struct._Effect = type { i32, [15 x i32], [15 x ptr], ptr, ptr, ptr, ptr, ptr }
%struct._Literal = type { i8, %struct._Fact, ptr, ptr }

@gcmd_line = external global %struct._command_line, align 4
@gnum_constants = external global i32, align 4
@garity = external global [50 x i32], align 16
@gnum_full_initial = external global i32, align 4
@gfull_initial = external global ptr, align 8
@gnum_full_fluents_initial = external global i32, align 4
@gfull_fluents_initial = external global ptr, align 8
@gnum_operators = external global i32, align 4
@goperators = external global [50000 x ptr], align 16
@ggoal = external global ptr, align 8
@gmetric = external global ptr, align 8
@gaxiom_added = external global [50 x i8], align 16
@gorig_initial_facts = external global ptr, align 8
@.str.30 = external hidden unnamed_addr constant [49 x i8], align 1
@gorig_goal_facts = external global ptr, align 8
@gparse_metric = external global ptr, align 8
@gparse_optimization = external global ptr, align 8
@.str.31 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [54 x i8], align 1
@gloaded_ops = external global ptr, align 8
@.str.36 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [69 x i8], align 1
@lvar_types = external dso_local global [15 x i32], align 16
@lvar_names = external dso_local global [15 x ptr], align 16
@.str.39 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [44 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 uwtable
define dso_local void @create_integer_representation() #2 {
  %1 = alloca ptr, align 8
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %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 ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %1) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %2) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #7
  %13 = load ptr, ptr @gorig_initial_facts, align 8, !tbaa !5
  %14 = icmp ne ptr %13, null
  br i1 %14, label %15, label %182

15:                                               ; preds = %0
  store i32 0, ptr %9, align 4, !tbaa !9
  %16 = load ptr, ptr @gorig_initial_facts, align 8, !tbaa !5
  %17 = getelementptr inbounds %struct._PlNode, ptr %16, i32 0, i32 7
  %18 = load ptr, ptr %17, align 8, !tbaa !11
  store ptr %18, ptr %1, align 8, !tbaa !5
  br label %19

19:                                               ; preds = %25, %15
  %20 = load ptr, ptr %1, align 8, !tbaa !5
  %21 = icmp ne ptr %20, null
  br i1 %21, label %22, label %29

22:                                               ; preds = %19
  %23 = load i32, ptr %9, align 4, !tbaa !9
  %24 = add nsw i32 %23, 1
  store i32 %24, ptr %9, align 4, !tbaa !9
  br label %25

25:                                               ; preds = %22
  %26 = load ptr, ptr %1, align 8, !tbaa !5
  %27 = getelementptr inbounds %struct._PlNode, ptr %26, i32 0, i32 8
  %28 = load ptr, ptr %27, align 8, !tbaa !13
  store ptr %28, ptr %1, align 8, !tbaa !5
  br label %19, !llvm.loop !14

29:                                               ; preds = %19
  %30 = load i32, ptr @gnum_constants, align 4, !tbaa !9
  %31 = load i32, ptr %9, align 4, !tbaa !9
  %32 = add nsw i32 %31, %30
  store i32 %32, ptr %9, align 4, !tbaa !9
  %33 = load i32, ptr %9, align 4, !tbaa !9
  %34 = sext i32 %33 to i64
  %35 = call noalias ptr @calloc(i64 noundef %34, i64 noundef 24) #8
  store ptr %35, ptr @gfull_initial, align 8, !tbaa !5
  %36 = load i32, ptr %9, align 4, !tbaa !9
  %37 = sext i32 %36 to i64
  %38 = call noalias ptr @calloc(i64 noundef %37, i64 noundef 28) #8
  store ptr %38, ptr @gfull_fluents_initial, align 8, !tbaa !5
  %39 = load ptr, ptr @gorig_initial_facts, align 8, !tbaa !5
  %40 = getelementptr inbounds %struct._PlNode, ptr %39, i32 0, i32 7
  %41 = load ptr, ptr %40, align 8, !tbaa !11
  store ptr %41, ptr %1, align 8, !tbaa !5
  br label %42

42:                                               ; preds = %176, %29
  %43 = load ptr, ptr %1, align 8, !tbaa !5
  %44 = icmp ne ptr %43, null
  br i1 %44, label %45, label %180

45:                                               ; preds = %42
  %46 = load ptr, ptr %1, align 8, !tbaa !5
  %47 = getelementptr inbounds %struct._PlNode, ptr %46, i32 0, i32 0
  %48 = load i32, ptr %47, align 8, !tbaa !16
  %49 = icmp eq i32 %48, 2002
  br i1 %49, label %50, label %148

50:                                               ; preds = %45
  %51 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %52 = load i32, ptr @gnum_full_initial, align 4, !tbaa !9
  %53 = sext i32 %52 to i64
  %54 = getelementptr inbounds %struct._Fact, ptr %51, i64 %53
  %55 = load ptr, ptr %1, align 8, !tbaa !5
  call void @make_Fact(ptr noundef %54, ptr noundef %55, i32 noundef 0)
  %56 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %57 = load i32, ptr @gnum_full_initial, align 4, !tbaa !9
  %58 = sext i32 %57 to i64
  %59 = getelementptr inbounds %struct._Fact, ptr %56, i64 %58
  %60 = getelementptr inbounds %struct._Fact, ptr %59, i32 0, i32 0
  %61 = load i32, ptr %60, align 4, !tbaa !17
  %62 = icmp eq i32 %61, 0
  br i1 %62, label %63, label %65

63:                                               ; preds = %50
  %64 = call i32 (ptr, ...) @printf(ptr noundef @.str.30)
  call void @exit(i32 noundef 1) #9
  unreachable

65:                                               ; preds = %50
  store i32 0, ptr %7, align 4, !tbaa !9
  br label %66

66:                                               ; preds = %137, %65
  %67 = load i32, ptr %7, align 4, !tbaa !9
  %68 = load i32, ptr @gnum_full_initial, align 4, !tbaa !9
  %69 = icmp slt i32 %67, %68
  br i1 %69, label %70, label %140

70:                                               ; preds = %66
  %71 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %72 = load i32, ptr %7, align 4, !tbaa !9
  %73 = sext i32 %72 to i64
  %74 = getelementptr inbounds %struct._Fact, ptr %71, i64 %73
  %75 = getelementptr inbounds %struct._Fact, ptr %74, i32 0, i32 0
  %76 = load i32, ptr %75, align 4, !tbaa !17
  %77 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %78 = load i32, ptr @gnum_full_initial, align 4, !tbaa !9
  %79 = sext i32 %78 to i64
  %80 = getelementptr inbounds %struct._Fact, ptr %77, i64 %79
  %81 = getelementptr inbounds %struct._Fact, ptr %80, i32 0, i32 0
  %82 = load i32, ptr %81, align 4, !tbaa !17
  %83 = icmp ne i32 %76, %82
  br i1 %83, label %84, label %85

84:                                               ; preds = %70
  br label %137

85:                                               ; preds = %70
  store i32 0, ptr %8, align 4, !tbaa !9
  br label %86

86:                                               ; preds = %120, %85
  %87 = load i32, ptr %8, align 4, !tbaa !9
  %88 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %89 = load i32, ptr %7, align 4, !tbaa !9
  %90 = sext i32 %89 to i64
  %91 = getelementptr inbounds %struct._Fact, ptr %88, i64 %90
  %92 = getelementptr inbounds %struct._Fact, ptr %91, i32 0, i32 0
  %93 = load i32, ptr %92, align 4, !tbaa !17
  %94 = sext i32 %93 to i64
  %95 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %94
  %96 = load i32, ptr %95, align 4, !tbaa !9
  %97 = icmp slt i32 %87, %96
  br i1 %97, label %98, label %123

98:                                               ; preds = %86
  %99 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %100 = load i32, ptr %7, align 4, !tbaa !9
  %101 = sext i32 %100 to i64
  %102 = getelementptr inbounds %struct._Fact, ptr %99, i64 %101
  %103 = getelementptr inbounds %struct._Fact, ptr %102, i32 0, i32 1
  %104 = load i32, ptr %8, align 4, !tbaa !9
  %105 = sext i32 %104 to i64
  %106 = getelementptr inbounds [5 x i32], ptr %103, i64 0, i64 %105
  %107 = load i32, ptr %106, align 4, !tbaa !9
  %108 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %109 = load i32, ptr @gnum_full_initial, align 4, !tbaa !9
  %110 = sext i32 %109 to i64
  %111 = getelementptr inbounds %struct._Fact, ptr %108, i64 %110
  %112 = getelementptr inbounds %struct._Fact, ptr %111, i32 0, i32 1
  %113 = load i32, ptr %8, align 4, !tbaa !9
  %114 = sext i32 %113 to i64
  %115 = getelementptr inbounds [5 x i32], ptr %112, i64 0, i64 %114
  %116 = load i32, ptr %115, align 4, !tbaa !9
  %117 = icmp ne i32 %107, %116
  br i1 %117, label %118, label %119

118:                                              ; preds = %98
  br label %123

119:                                              ; preds = %98
  br label %120

120:                                              ; preds = %119
  %121 = load i32, ptr %8, align 4, !tbaa !9
  %122 = add nsw i32 %121, 1
  store i32 %122, ptr %8, align 4, !tbaa !9
  br label %86, !llvm.loop !19

123:                                              ; preds = %118, %86
  %124 = load i32, ptr %8, align 4, !tbaa !9
  %125 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %126 = load i32, ptr %7, align 4, !tbaa !9
  %127 = sext i32 %126 to i64
  %128 = getelementptr inbounds %struct._Fact, ptr %125, i64 %127
  %129 = getelementptr inbounds %struct._Fact, ptr %128, i32 0, i32 0
  %130 = load i32, ptr %129, align 4, !tbaa !17
  %131 = sext i32 %130 to i64
  %132 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %131
  %133 = load i32, ptr %132, align 4, !tbaa !9
  %134 = icmp eq i32 %124, %133
  br i1 %134, label %135, label %136

135:                                              ; preds = %123
  br label %140

136:                                              ; preds = %123
  br label %137

137:                                              ; preds = %136, %84
  %138 = load i32, ptr %7, align 4, !tbaa !9
  %139 = add nsw i32 %138, 1
  store i32 %139, ptr %7, align 4, !tbaa !9
  br label %66, !llvm.loop !20

140:                                              ; preds = %135, %66
  %141 = load i32, ptr %7, align 4, !tbaa !9
  %142 = load i32, ptr @gnum_full_initial, align 4, !tbaa !9
  %143 = icmp slt i32 %141, %142
  br i1 %143, label %144, label %145

144:                                              ; preds = %140
  br label %176

145:                                              ; preds = %140
  %146 = load i32, ptr @gnum_full_initial, align 4, !tbaa !9
  %147 = add nsw i32 %146, 1
  store i32 %147, ptr @gnum_full_initial, align 4, !tbaa !9
  br label %175

148:                                              ; preds = %45
  %149 = load ptr, ptr @gfull_fluents_initial, align 8, !tbaa !5
  %150 = load i32, ptr @gnum_full_fluents_initial, align 4, !tbaa !9
  %151 = sext i32 %150 to i64
  %152 = getelementptr inbounds %struct._FluentValue, ptr %149, i64 %151
  %153 = getelementptr inbounds %struct._FluentValue, ptr %152, i32 0, i32 0
  %154 = load ptr, ptr %1, align 8, !tbaa !5
  %155 = getelementptr inbounds %struct._PlNode, ptr %154, i32 0, i32 5
  %156 = load ptr, ptr %155, align 8, !tbaa !21
  %157 = getelementptr inbounds %struct._ParseExpNode, ptr %156, i32 0, i32 1
  %158 = load ptr, ptr %157, align 8, !tbaa !22
  call void @make_Fluent(ptr noundef %153, ptr noundef %158, i32 noundef 0)
  %159 = load ptr, ptr %1, align 8, !tbaa !5
  %160 = getelementptr inbounds %struct._PlNode, ptr %159, i32 0, i32 6
  %161 = load ptr, ptr %160, align 8, !tbaa !24
  %162 = getelementptr inbounds %struct._ParseExpNode, ptr %161, i32 0, i32 1
  %163 = load ptr, ptr %162, align 8, !tbaa !22
  %164 = getelementptr inbounds %struct._TokenList, ptr %163, i32 0, i32 0
  %165 = load ptr, ptr %164, align 8, !tbaa !25
  %166 = call double @strtod(ptr noundef %165, ptr noundef null) #7
  %167 = fptrunc double %166 to float
  %168 = load ptr, ptr @gfull_fluents_initial, align 8, !tbaa !5
  %169 = load i32, ptr @gnum_full_fluents_initial, align 4, !tbaa !9
  %170 = sext i32 %169 to i64
  %171 = getelementptr inbounds %struct._FluentValue, ptr %168, i64 %170
  %172 = getelementptr inbounds %struct._FluentValue, ptr %171, i32 0, i32 1
  store float %167, ptr %172, align 4, !tbaa !27
  %173 = load i32, ptr @gnum_full_fluents_initial, align 4, !tbaa !9
  %174 = add nsw i32 %173, 1
  store i32 %174, ptr @gnum_full_fluents_initial, align 4, !tbaa !9
  br label %175

175:                                              ; preds = %148, %145
  br label %176

176:                                              ; preds = %175, %144
  %177 = load ptr, ptr %1, align 8, !tbaa !5
  %178 = getelementptr inbounds %struct._PlNode, ptr %177, i32 0, i32 8
  %179 = load ptr, ptr %178, align 8, !tbaa !13
  store ptr %179, ptr %1, align 8, !tbaa !5
  br label %42, !llvm.loop !31

180:                                              ; preds = %42
  %181 = load ptr, ptr @gorig_initial_facts, align 8, !tbaa !5
  call void @free_PlNode(ptr noundef %181)
  br label %182

182:                                              ; preds = %180, %0
  store i32 0, ptr %7, align 4, !tbaa !9
  br label %183

183:                                              ; preds = %209, %182
  %184 = load i32, ptr %7, align 4, !tbaa !9
  %185 = load i32, ptr @gnum_constants, align 4, !tbaa !9
  %186 = icmp slt i32 %184, %185
  br i1 %186, label %187, label %212

187:                                              ; preds = %183
  %188 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %189 = load i32, ptr @gnum_full_initial, align 4, !tbaa !9
  %190 = sext i32 %189 to i64
  %191 = getelementptr inbounds %struct._Fact, ptr %188, i64 %190
  %192 = getelementptr inbounds %struct._Fact, ptr %191, i32 0, i32 0
  store i32 0, ptr %192, align 4, !tbaa !17
  %193 = load i32, ptr %7, align 4, !tbaa !9
  %194 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %195 = load i32, ptr @gnum_full_initial, align 4, !tbaa !9
  %196 = sext i32 %195 to i64
  %197 = getelementptr inbounds %struct._Fact, ptr %194, i64 %196
  %198 = getelementptr inbounds %struct._Fact, ptr %197, i32 0, i32 1
  %199 = getelementptr inbounds [5 x i32], ptr %198, i64 0, i64 0
  store i32 %193, ptr %199, align 4, !tbaa !9
  %200 = load i32, ptr %7, align 4, !tbaa !9
  %201 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %202 = load i32, ptr @gnum_full_initial, align 4, !tbaa !9
  %203 = sext i32 %202 to i64
  %204 = getelementptr inbounds %struct._Fact, ptr %201, i64 %203
  %205 = getelementptr inbounds %struct._Fact, ptr %204, i32 0, i32 1
  %206 = getelementptr inbounds [5 x i32], ptr %205, i64 0, i64 1
  store i32 %200, ptr %206, align 4, !tbaa !9
  %207 = load i32, ptr @gnum_full_initial, align 4, !tbaa !9
  %208 = add nsw i32 %207, 1
  store i32 %208, ptr @gnum_full_initial, align 4, !tbaa !9
  br label %209

209:                                              ; preds = %187
  %210 = load i32, ptr %7, align 4, !tbaa !9
  %211 = add nsw i32 %210, 1
  store i32 %211, ptr %7, align 4, !tbaa !9
  br label %183, !llvm.loop !32

212:                                              ; preds = %183
  %213 = load ptr, ptr @gorig_goal_facts, align 8, !tbaa !5
  %214 = call ptr @make_Wff(ptr noundef %213, i32 noundef 0)
  store ptr %214, ptr @ggoal, align 8, !tbaa !5
  %215 = load ptr, ptr @gparse_metric, align 8, !tbaa !5
  %216 = icmp ne ptr %215, null
  br i1 %216, label %217, label %257

217:                                              ; preds = %212
  %218 = load ptr, ptr @gparse_metric, align 8, !tbaa !5
  %219 = call ptr @make_ExpNode(ptr noundef %218, i32 noundef 0)
  store ptr %219, ptr @gmetric, align 8, !tbaa !5
  %220 = load ptr, ptr @gparse_optimization, align 8, !tbaa !5
  %221 = call i32 @strcmp(ptr noundef %220, ptr noundef @.str.31) #10
  %222 = icmp ne i32 %221, 0
  br i1 %222, label %223, label %242

223:                                              ; preds = %217
  %224 = load ptr, ptr @gparse_optimization, align 8, !tbaa !5
  %225 = call i32 @strcmp(ptr noundef %224, ptr noundef @.str.32) #10
  %226 = icmp ne i32 %225, 0
  br i1 %226, label %227, label %242

227:                                              ; preds = %223
  %228 = load ptr, ptr @gparse_optimization, align 8, !tbaa !5
  %229 = call i32 @strcmp(ptr noundef %228, ptr noundef @.str.33) #10
  %230 = icmp ne i32 %229, 0
  br i1 %230, label %231, label %242

231:                                              ; preds = %227
  %232 = load ptr, ptr @gparse_optimization, align 8, !tbaa !5
  %233 = call i32 @strcmp(ptr noundef %232, ptr noundef @.str.34) #10
  %234 = icmp ne i32 %233, 0
  br i1 %234, label %235, label %242

235:                                              ; preds = %231
  %236 = load i32, ptr getelementptr inbounds (%struct._command_line, ptr @gcmd_line, i32 0, i32 3), align 4, !tbaa !33
  %237 = icmp ne i32 %236, 0
  br i1 %237, label %238, label %241

238:                                              ; preds = %235
  %239 = load ptr, ptr @gparse_optimization, align 8, !tbaa !5
  %240 = call i32 (ptr, ...) @printf(ptr noundef @.str.35, ptr noundef %239)
  br label %241

241:                                              ; preds = %238, %235
  call void @exit(i32 noundef 1) #9
  unreachable

242:                                              ; preds = %231, %227, %223, %217
  %243 = load ptr, ptr @gparse_optimization, align 8, !tbaa !5
  %244 = call i32 @strcmp(ptr noundef %243, ptr noundef @.str.33) #10
  %245 = icmp eq i32 %244, 0
  br i1 %245, label %250, label %246

246:                                              ; preds = %242
  %247 = load ptr, ptr @gparse_optimization, align 8, !tbaa !5
  %248 = call i32 @strcmp(ptr noundef %247, ptr noundef @.str.34) #10
  %249 = icmp eq i32 %248, 0
  br i1 %249, label %250, label %256

250:                                              ; preds = %246, %242
  %251 = call ptr @new_ExpNode(i32 noundef 1002)
  store ptr %251, ptr %10, align 8, !tbaa !5
  %252 = load ptr, ptr @gmetric, align 8, !tbaa !5
  %253 = load ptr, ptr %10, align 8, !tbaa !5
  %254 = getelementptr inbounds %struct._ExpNode, ptr %253, i32 0, i32 5
  store ptr %252, ptr %254, align 8, !tbaa !35
  %255 = load ptr, ptr %10, align 8, !tbaa !5
  store ptr %255, ptr @gmetric, align 8, !tbaa !5
  br label %256

256:                                              ; preds = %250, %246
  br label %257

257:                                              ; preds = %256, %212
  %258 = load ptr, ptr @gloaded_ops, align 8, !tbaa !5
  store ptr %258, ptr %3, align 8, !tbaa !5
  br label %259

259:                                              ; preds = %535, %257
  %260 = load ptr, ptr %3, align 8, !tbaa !5
  %261 = icmp ne ptr %260, null
  br i1 %261, label %262, label %539

262:                                              ; preds = %259
  %263 = load ptr, ptr %3, align 8, !tbaa !5
  %264 = getelementptr inbounds %struct._PlOperator, ptr %263, i32 0, i32 0
  %265 = load ptr, ptr %264, align 8, !tbaa !37
  %266 = load ptr, ptr %3, align 8, !tbaa !5
  %267 = getelementptr inbounds %struct._PlOperator, ptr %266, i32 0, i32 2
  %268 = load i32, ptr %267, align 4, !tbaa !39
  %269 = call ptr @new_Operator(ptr noundef %265, i32 noundef %268)
  store ptr %269, ptr %4, align 8, !tbaa !5
  %270 = load ptr, ptr %3, align 8, !tbaa !5
  %271 = getelementptr inbounds %struct._PlOperator, ptr %270, i32 0, i32 1
  %272 = load i8, ptr %271, align 8, !tbaa !40
  %273 = load ptr, ptr %4, align 8, !tbaa !5
  %274 = getelementptr inbounds %struct._Operator, ptr %273, i32 0, i32 3
  store i8 %272, ptr %274, align 4, !tbaa !41
  %275 = load ptr, ptr %3, align 8, !tbaa !5
  %276 = getelementptr inbounds %struct._PlOperator, ptr %275, i32 0, i32 4
  %277 = load ptr, ptr %276, align 8, !tbaa !43
  store ptr %277, ptr %5, align 8, !tbaa !5
  br label %278

278:                                              ; preds = %403, %262
  %279 = load ptr, ptr %5, align 8, !tbaa !5
  %280 = icmp ne ptr %279, null
  br i1 %280, label %281, label %407

281:                                              ; preds = %278
  %282 = load ptr, ptr %5, align 8, !tbaa !5
  %283 = getelementptr inbounds %struct._FactList, ptr %282, i32 0, i32 0
  %284 = load ptr, ptr %283, align 8, !tbaa !44
  %285 = getelementptr inbounds %struct._TokenList, ptr %284, i32 0, i32 1
  %286 = load ptr, ptr %285, align 8, !tbaa !46
  %287 = getelementptr inbounds %struct._TokenList, ptr %286, i32 0, i32 0
  %288 = load ptr, ptr %287, align 8, !tbaa !25
  %289 = call i32 @position_in_types_table(ptr noundef %288)
  store i32 %289, ptr %6, align 4, !tbaa !9
  %290 = icmp eq i32 %289, -1
  br i1 %290, label %291, label %308

291:                                              ; preds = %281
  %292 = load ptr, ptr %5, align 8, !tbaa !5
  %293 = getelementptr inbounds %struct._FactList, ptr %292, i32 0, i32 0
  %294 = load ptr, ptr %293, align 8, !tbaa !44
  %295 = getelementptr inbounds %struct._TokenList, ptr %294, i32 0, i32 0
  %296 = load ptr, ptr %295, align 8, !tbaa !25
  %297 = load ptr, ptr %3, align 8, !tbaa !5
  %298 = getelementptr inbounds %struct._PlOperator, ptr %297, i32 0, i32 0
  %299 = load ptr, ptr %298, align 8, !tbaa !37
  %300 = load ptr, ptr %5, align 8, !tbaa !5
  %301 = getelementptr inbounds %struct._FactList, ptr %300, i32 0, i32 0
  %302 = load ptr, ptr %301, align 8, !tbaa !44
  %303 = getelementptr inbounds %struct._TokenList, ptr %302, i32 0, i32 1
  %304 = load ptr, ptr %303, align 8, !tbaa !46
  %305 = getelementptr inbounds %struct._TokenList, ptr %304, i32 0, i32 0
  %306 = load ptr, ptr %305, align 8, !tbaa !25
  %307 = call i32 (ptr, ...) @printf(ptr noundef @.str.36, ptr noundef %296, ptr noundef %299, ptr noundef %306)
  br label %407

308:                                              ; preds = %281
  %309 = load ptr, ptr %4, align 8, !tbaa !5
  %310 = getelementptr inbounds %struct._Operator, ptr %309, i32 0, i32 4
  %311 = load i32, ptr %310, align 8, !tbaa !47
  %312 = icmp eq i32 %311, 15
  br i1 %312, label %313, label %315

313:                                              ; preds = %308
  %314 = call i32 (ptr, ...) @printf(ptr noundef @.str.37, i32 noundef 15)
  call void @exit(i32 noundef 1) #9
  unreachable

315:                                              ; preds = %308
  store i32 0, ptr %7, align 4, !tbaa !9
  br label %316

316:                                              ; preds = %360, %315
  %317 = load i32, ptr %7, align 4, !tbaa !9
  %318 = load ptr, ptr %4, align 8, !tbaa !5
  %319 = getelementptr inbounds %struct._Operator, ptr %318, i32 0, i32 4
  %320 = load i32, ptr %319, align 8, !tbaa !47
  %321 = icmp slt i32 %317, %320
  br i1 %321, label %322, label %363

322:                                              ; preds = %316
  %323 = load ptr, ptr %4, align 8, !tbaa !5
  %324 = getelementptr inbounds %struct._Operator, ptr %323, i32 0, i32 1
  %325 = load i32, ptr %7, align 4, !tbaa !9
  %326 = sext i32 %325 to i64
  %327 = getelementptr inbounds [15 x ptr], ptr %324, i64 0, i64 %326
  %328 = load ptr, ptr %327, align 8, !tbaa !5
  %329 = load ptr, ptr %5, align 8, !tbaa !5
  %330 = getelementptr inbounds %struct._FactList, ptr %329, i32 0, i32 0
  %331 = load ptr, ptr %330, align 8, !tbaa !44
  %332 = getelementptr inbounds %struct._TokenList, ptr %331, i32 0, i32 0
  %333 = load ptr, ptr %332, align 8, !tbaa !25
  %334 = icmp eq ptr %328, %333
  br i1 %334, label %349, label %335

335:                                              ; preds = %322
  %336 = load ptr, ptr %4, align 8, !tbaa !5
  %337 = getelementptr inbounds %struct._Operator, ptr %336, i32 0, i32 1
  %338 = load i32, ptr %7, align 4, !tbaa !9
  %339 = sext i32 %338 to i64
  %340 = getelementptr inbounds [15 x ptr], ptr %337, i64 0, i64 %339
  %341 = load ptr, ptr %340, align 8, !tbaa !5
  %342 = load ptr, ptr %5, align 8, !tbaa !5
  %343 = getelementptr inbounds %struct._FactList, ptr %342, i32 0, i32 0
  %344 = load ptr, ptr %343, align 8, !tbaa !44
  %345 = getelementptr inbounds %struct._TokenList, ptr %344, i32 0, i32 0
  %346 = load ptr, ptr %345, align 8, !tbaa !25
  %347 = call i32 @strcmp(ptr noundef %341, ptr noundef %346) #10
  %348 = icmp eq i32 %347, 0
  br i1 %348, label %349, label %359

349:                                              ; preds = %335, %322
  %350 = load ptr, ptr %4, align 8, !tbaa !5
  %351 = getelementptr inbounds %struct._Operator, ptr %350, i32 0, i32 0
  %352 = load ptr, ptr %351, align 8, !tbaa !48
  %353 = load ptr, ptr %5, align 8, !tbaa !5
  %354 = getelementptr inbounds %struct._FactList, ptr %353, i32 0, i32 0
  %355 = load ptr, ptr %354, align 8, !tbaa !44
  %356 = getelementptr inbounds %struct._TokenList, ptr %355, i32 0, i32 0
  %357 = load ptr, ptr %356, align 8, !tbaa !25
  %358 = call i32 (ptr, ...) @printf(ptr noundef @.str.38, ptr noundef %352, ptr noundef %357)
  br label %359

359:                                              ; preds = %349, %335
  br label %360

360:                                              ; preds = %359
  %361 = load i32, ptr %7, align 4, !tbaa !9
  %362 = add nsw i32 %361, 1
  store i32 %362, ptr %7, align 4, !tbaa !9
  br label %316, !llvm.loop !49

363:                                              ; preds = %316
  %364 = load ptr, ptr %5, align 8, !tbaa !5
  %365 = getelementptr inbounds %struct._FactList, ptr %364, i32 0, i32 0
  %366 = load ptr, ptr %365, align 8, !tbaa !44
  %367 = getelementptr inbounds %struct._TokenList, ptr %366, i32 0, i32 0
  %368 = load ptr, ptr %367, align 8, !tbaa !25
  %369 = call i64 @strlen(ptr noundef %368) #10
  %370 = add i64 %369, 1
  %371 = trunc i64 %370 to i32
  %372 = call ptr @new_Token(i32 noundef %371)
  %373 = load ptr, ptr %4, align 8, !tbaa !5
  %374 = getelementptr inbounds %struct._Operator, ptr %373, i32 0, i32 1
  %375 = load ptr, ptr %4, align 8, !tbaa !5
  %376 = getelementptr inbounds %struct._Operator, ptr %375, i32 0, i32 4
  %377 = load i32, ptr %376, align 8, !tbaa !47
  %378 = sext i32 %377 to i64
  %379 = getelementptr inbounds [15 x ptr], ptr %374, i64 0, i64 %378
  store ptr %372, ptr %379, align 8, !tbaa !5
  %380 = load ptr, ptr %4, align 8, !tbaa !5
  %381 = getelementptr inbounds %struct._Operator, ptr %380, i32 0, i32 1
  %382 = load ptr, ptr %4, align 8, !tbaa !5
  %383 = getelementptr inbounds %struct._Operator, ptr %382, i32 0, i32 4
  %384 = load i32, ptr %383, align 8, !tbaa !47
  %385 = sext i32 %384 to i64
  %386 = getelementptr inbounds [15 x ptr], ptr %381, i64 0, i64 %385
  %387 = load ptr, ptr %386, align 8, !tbaa !5
  %388 = load ptr, ptr %5, align 8, !tbaa !5
  %389 = getelementptr inbounds %struct._FactList, ptr %388, i32 0, i32 0
  %390 = load ptr, ptr %389, align 8, !tbaa !44
  %391 = getelementptr inbounds %struct._TokenList, ptr %390, i32 0, i32 0
  %392 = load ptr, ptr %391, align 8, !tbaa !25
  %393 = call ptr @strcpy(ptr noundef %387, ptr noundef %392) #7
  %394 = load i32, ptr %6, align 4, !tbaa !9
  %395 = load ptr, ptr %4, align 8, !tbaa !5
  %396 = getelementptr inbounds %struct._Operator, ptr %395, i32 0, i32 5
  %397 = load ptr, ptr %4, align 8, !tbaa !5
  %398 = getelementptr inbounds %struct._Operator, ptr %397, i32 0, i32 4
  %399 = load i32, ptr %398, align 8, !tbaa !47
  %400 = add nsw i32 %399, 1
  store i32 %400, ptr %398, align 8, !tbaa !47
  %401 = sext i32 %399 to i64
  %402 = getelementptr inbounds [15 x i32], ptr %396, i64 0, i64 %401
  store i32 %394, ptr %402, align 4, !tbaa !9
  br label %403

403:                                              ; preds = %363
  %404 = load ptr, ptr %5, align 8, !tbaa !5
  %405 = getelementptr inbounds %struct._FactList, ptr %404, i32 0, i32 1
  %406 = load ptr, ptr %405, align 8, !tbaa !50
  store ptr %406, ptr %5, align 8, !tbaa !5
  br label %278, !llvm.loop !51

407:                                              ; preds = %291, %278
  %408 = load ptr, ptr %5, align 8, !tbaa !5
  %409 = icmp ne ptr %408, null
  br i1 %409, label %410, label %412

410:                                              ; preds = %407
  %411 = load ptr, ptr %4, align 8, !tbaa !5
  call void @free_Operator(ptr noundef %411)
  br label %535

412:                                              ; preds = %407
  store i32 0, ptr %7, align 4, !tbaa !9
  br label %413

413:                                              ; preds = %438, %412
  %414 = load i32, ptr %7, align 4, !tbaa !9
  %415 = load ptr, ptr %4, align 8, !tbaa !5
  %416 = getelementptr inbounds %struct._Operator, ptr %415, i32 0, i32 4
  %417 = load i32, ptr %416, align 8, !tbaa !47
  %418 = icmp slt i32 %414, %417
  br i1 %418, label %419, label %441

419:                                              ; preds = %413
  %420 = load ptr, ptr %4, align 8, !tbaa !5
  %421 = getelementptr inbounds %struct._Operator, ptr %420, i32 0, i32 5
  %422 = load i32, ptr %7, align 4, !tbaa !9
  %423 = sext i32 %422 to i64
  %424 = getelementptr inbounds [15 x i32], ptr %421, i64 0, i64 %423
  %425 = load i32, ptr %424, align 4, !tbaa !9
  %426 = load i32, ptr %7, align 4, !tbaa !9
  %427 = sext i32 %426 to i64
  %428 = getelementptr inbounds [15 x i32], ptr @lvar_types, i64 0, i64 %427
  store i32 %425, ptr %428, align 4, !tbaa !9
  %429 = load ptr, ptr %4, align 8, !tbaa !5
  %430 = getelementptr inbounds %struct._Operator, ptr %429, i32 0, i32 1
  %431 = load i32, ptr %7, align 4, !tbaa !9
  %432 = sext i32 %431 to i64
  %433 = getelementptr inbounds [15 x ptr], ptr %430, i64 0, i64 %432
  %434 = load ptr, ptr %433, align 8, !tbaa !5
  %435 = load i32, ptr %7, align 4, !tbaa !9
  %436 = sext i32 %435 to i64
  %437 = getelementptr inbounds [15 x ptr], ptr @lvar_names, i64 0, i64 %436
  store ptr %434, ptr %437, align 8, !tbaa !5
  br label %438

438:                                              ; preds = %419
  %439 = load i32, ptr %7, align 4, !tbaa !9
  %440 = add nsw i32 %439, 1
  store i32 %440, ptr %7, align 4, !tbaa !9
  br label %413, !llvm.loop !52

441:                                              ; preds = %413
  %442 = load ptr, ptr %3, align 8, !tbaa !5
  %443 = getelementptr inbounds %struct._PlOperator, ptr %442, i32 0, i32 5
  %444 = load ptr, ptr %443, align 8, !tbaa !53
  %445 = load ptr, ptr %4, align 8, !tbaa !5
  %446 = getelementptr inbounds %struct._Operator, ptr %445, i32 0, i32 4
  %447 = load i32, ptr %446, align 8, !tbaa !47
  %448 = call ptr @make_Wff(ptr noundef %444, i32 noundef %447)
  %449 = load ptr, ptr %4, align 8, !tbaa !5
  %450 = getelementptr inbounds %struct._Operator, ptr %449, i32 0, i32 7
  store ptr %448, ptr %450, align 8, !tbaa !54
  %451 = load ptr, ptr %3, align 8, !tbaa !5
  %452 = getelementptr inbounds %struct._PlOperator, ptr %451, i32 0, i32 6
  %453 = load ptr, ptr %452, align 8, !tbaa !55
  %454 = icmp ne ptr %453, null
  br i1 %454, label %455, label %524

455:                                              ; preds = %441
  %456 = load ptr, ptr %3, align 8, !tbaa !5
  %457 = getelementptr inbounds %struct._PlOperator, ptr %456, i32 0, i32 6
  %458 = load ptr, ptr %457, align 8, !tbaa !55
  %459 = getelementptr inbounds %struct._PlNode, ptr %458, i32 0, i32 7
  %460 = load ptr, ptr %459, align 8, !tbaa !11
  store ptr %460, ptr %2, align 8, !tbaa !5
  br label %461

461:                                              ; preds = %475, %455
  %462 = load ptr, ptr %2, align 8, !tbaa !5
  %463 = icmp ne ptr %462, null
  br i1 %463, label %464, label %473

464:                                              ; preds = %461
  %465 = load ptr, ptr %2, align 8, !tbaa !5
  %466 = load ptr, ptr %4, align 8, !tbaa !5
  %467 = getelementptr inbounds %struct._Operator, ptr %466, i32 0, i32 4
  %468 = load i32, ptr %467, align 8, !tbaa !47
  %469 = call ptr @make_effect(ptr noundef %465, i32 noundef %468)
  %470 = load ptr, ptr %4, align 8, !tbaa !5
  %471 = getelementptr inbounds %struct._Operator, ptr %470, i32 0, i32 8
  store ptr %469, ptr %471, align 8, !tbaa !56
  %472 = icmp eq ptr %469, null
  br label %473

473:                                              ; preds = %464, %461
  %474 = phi i1 [ false, %461 ], [ %472, %464 ]
  br i1 %474, label %475, label %479

475:                                              ; preds = %473
  %476 = load ptr, ptr %2, align 8, !tbaa !5
  %477 = getelementptr inbounds %struct._PlNode, ptr %476, i32 0, i32 8
  %478 = load ptr, ptr %477, align 8, !tbaa !13
  store ptr %478, ptr %2, align 8, !tbaa !5
  br label %461, !llvm.loop !57

479:                                              ; preds = %473
  %480 = load ptr, ptr %2, align 8, !tbaa !5
  %481 = icmp ne ptr %480, null
  br i1 %481, label %482, label %523

482:                                              ; preds = %479
  %483 = load ptr, ptr %2, align 8, !tbaa !5
  %484 = getelementptr inbounds %struct._PlNode, ptr %483, i32 0, i32 8
  %485 = load ptr, ptr %484, align 8, !tbaa !13
  store ptr %485, ptr %1, align 8, !tbaa !5
  br label %486

486:                                              ; preds = %518, %482
  %487 = load ptr, ptr %1, align 8, !tbaa !5
  %488 = icmp ne ptr %487, null
  br i1 %488, label %489, label %522

489:                                              ; preds = %486
  %490 = load ptr, ptr %1, align 8, !tbaa !5
  %491 = load ptr, ptr %4, align 8, !tbaa !5
  %492 = getelementptr inbounds %struct._Operator, ptr %491, i32 0, i32 4
  %493 = load i32, ptr %492, align 8, !tbaa !47
  %494 = call ptr @make_effect(ptr noundef %490, i32 noundef %493)
  %495 = load ptr, ptr %4, align 8, !tbaa !5
  %496 = getelementptr inbounds %struct._Operator, ptr %495, i32 0, i32 8
  %497 = load ptr, ptr %496, align 8, !tbaa !56
  %498 = getelementptr inbounds %struct._Effect, ptr %497, i32 0, i32 7
  store ptr %494, ptr %498, align 8, !tbaa !58
  %499 = icmp eq ptr %494, null
  br i1 %499, label %500, label %501

500:                                              ; preds = %489
  br label %518

501:                                              ; preds = %489
  %502 = load ptr, ptr %4, align 8, !tbaa !5
  %503 = getelementptr inbounds %struct._Operator, ptr %502, i32 0, i32 8
  %504 = load ptr, ptr %503, align 8, !tbaa !56
  %505 = load ptr, ptr %4, align 8, !tbaa !5
  %506 = getelementptr inbounds %struct._Operator, ptr %505, i32 0, i32 8
  %507 = load ptr, ptr %506, align 8, !tbaa !56
  %508 = getelementptr inbounds %struct._Effect, ptr %507, i32 0, i32 7
  %509 = load ptr, ptr %508, align 8, !tbaa !58
  %510 = getelementptr inbounds %struct._Effect, ptr %509, i32 0, i32 6
  store ptr %504, ptr %510, align 8, !tbaa !60
  %511 = load ptr, ptr %4, align 8, !tbaa !5
  %512 = getelementptr inbounds %struct._Operator, ptr %511, i32 0, i32 8
  %513 = load ptr, ptr %512, align 8, !tbaa !56
  %514 = getelementptr inbounds %struct._Effect, ptr %513, i32 0, i32 7
  %515 = load ptr, ptr %514, align 8, !tbaa !58
  %516 = load ptr, ptr %4, align 8, !tbaa !5
  %517 = getelementptr inbounds %struct._Operator, ptr %516, i32 0, i32 8
  store ptr %515, ptr %517, align 8, !tbaa !56
  br label %518

518:                                              ; preds = %501, %500
  %519 = load ptr, ptr %1, align 8, !tbaa !5
  %520 = getelementptr inbounds %struct._PlNode, ptr %519, i32 0, i32 8
  %521 = load ptr, ptr %520, align 8, !tbaa !13
  store ptr %521, ptr %1, align 8, !tbaa !5
  br label %486, !llvm.loop !61

522:                                              ; preds = %486
  br label %523

523:                                              ; preds = %522, %479
  br label %524

524:                                              ; preds = %523, %441
  %525 = load i32, ptr @gnum_operators, align 4, !tbaa !9
  %526 = icmp eq i32 %525, 50000
  br i1 %526, label %527, label %529

527:                                              ; preds = %524
  %528 = call i32 (ptr, ...) @printf(ptr noundef @.str.39, i32 noundef 50000)
  call void @exit(i32 noundef 1) #9
  unreachable

529:                                              ; preds = %524
  %530 = load ptr, ptr %4, align 8, !tbaa !5
  %531 = load i32, ptr @gnum_operators, align 4, !tbaa !9
  %532 = add nsw i32 %531, 1
  store i32 %532, ptr @gnum_operators, align 4, !tbaa !9
  %533 = sext i32 %531 to i64
  %534 = getelementptr inbounds [50000 x ptr], ptr @goperators, i64 0, i64 %533
  store ptr %530, ptr %534, align 8, !tbaa !5
  br label %535

535:                                              ; preds = %529, %410
  %536 = load ptr, ptr %3, align 8, !tbaa !5
  %537 = getelementptr inbounds %struct._PlOperator, ptr %536, i32 0, i32 7
  %538 = load ptr, ptr %537, align 8, !tbaa !62
  store ptr %538, ptr %3, align 8, !tbaa !5
  br label %259, !llvm.loop !63

539:                                              ; preds = %259
  store i32 0, ptr %7, align 4, !tbaa !9
  br label %540

540:                                              ; preds = %587, %539
  %541 = load i32, ptr %7, align 4, !tbaa !9
  %542 = load i32, ptr @gnum_operators, align 4, !tbaa !9
  %543 = icmp slt i32 %541, %542
  br i1 %543, label %544, label %590

544:                                              ; preds = %540
  %545 = load i32, ptr %7, align 4, !tbaa !9
  %546 = sext i32 %545 to i64
  %547 = getelementptr inbounds [50000 x ptr], ptr @goperators, i64 0, i64 %546
  %548 = load ptr, ptr %547, align 8, !tbaa !5
  %549 = getelementptr inbounds %struct._Operator, ptr %548, i32 0, i32 8
  %550 = load ptr, ptr %549, align 8, !tbaa !56
  store ptr %550, ptr %11, align 8, !tbaa !5
  br label %551

551:                                              ; preds = %582, %544
  %552 = load ptr, ptr %11, align 8, !tbaa !5
  %553 = icmp ne ptr %552, null
  br i1 %553, label %554, label %586

554:                                              ; preds = %551
  %555 = load ptr, ptr %11, align 8, !tbaa !5
  %556 = getelementptr inbounds %struct._Effect, ptr %555, i32 0, i32 4
  %557 = load ptr, ptr %556, align 8, !tbaa !64
  store ptr %557, ptr %12, align 8, !tbaa !5
  br label %558

558:                                              ; preds = %577, %554
  %559 = load ptr, ptr %12, align 8, !tbaa !5
  %560 = icmp ne ptr %559, null
  br i1 %560, label %561, label %581

561:                                              ; preds = %558
  %562 = load i32, ptr %7, align 4, !tbaa !9
  %563 = sext i32 %562 to i64
  %564 = getelementptr inbounds [50000 x ptr], ptr @goperators, i64 0, i64 %563
  %565 = load ptr, ptr %564, align 8, !tbaa !5
  %566 = getelementptr inbounds %struct._Operator, ptr %565, i32 0, i32 3
  %567 = load i8, ptr %566, align 4, !tbaa !41
  %568 = icmp ne i8 %567, 0
  br i1 %568, label %569, label %576

569:                                              ; preds = %561
  %570 = load ptr, ptr %12, align 8, !tbaa !5
  %571 = getelementptr inbounds %struct._Literal, ptr %570, i32 0, i32 1
  %572 = getelementptr inbounds %struct._Fact, ptr %571, i32 0, i32 0
  %573 = load i32, ptr %572, align 4, !tbaa !65
  %574 = sext i32 %573 to i64
  %575 = getelementptr inbounds [50 x i8], ptr @gaxiom_added, i64 0, i64 %574
  store i8 1, ptr %575, align 1, !tbaa !67
  br label %576

576:                                              ; preds = %569, %561
  br label %577

577:                                              ; preds = %576
  %578 = load ptr, ptr %12, align 8, !tbaa !5
  %579 = getelementptr inbounds %struct._Literal, ptr %578, i32 0, i32 2
  %580 = load ptr, ptr %579, align 8, !tbaa !68
  store ptr %580, ptr %12, align 8, !tbaa !5
  br label %558, !llvm.loop !69

581:                                              ; preds = %558
  br label %582

582:                                              ; preds = %581
  %583 = load ptr, ptr %11, align 8, !tbaa !5
  %584 = getelementptr inbounds %struct._Effect, ptr %583, i32 0, i32 6
  %585 = load ptr, ptr %584, align 8, !tbaa !60
  store ptr %585, ptr %11, align 8, !tbaa !5
  br label %551, !llvm.loop !70

586:                                              ; preds = %551
  br label %587

587:                                              ; preds = %586
  %588 = load i32, ptr %7, align 4, !tbaa !9
  %589 = add nsw i32 %588, 1
  store i32 %589, ptr %7, align 4, !tbaa !9
  br label %540, !llvm.loop !71

590:                                              ; preds = %540
  store i32 0, ptr %7, align 4, !tbaa !9
  br label %591

591:                                              ; preds = %644, %590
  %592 = load i32, ptr %7, align 4, !tbaa !9
  %593 = load i32, ptr @gnum_operators, align 4, !tbaa !9
  %594 = icmp slt i32 %592, %593
  br i1 %594, label %595, label %647

595:                                              ; preds = %591
  %596 = load i32, ptr %7, align 4, !tbaa !9
  %597 = sext i32 %596 to i64
  %598 = getelementptr inbounds [50000 x ptr], ptr @goperators, i64 0, i64 %597
  %599 = load ptr, ptr %598, align 8, !tbaa !5
  %600 = getelementptr inbounds %struct._Operator, ptr %599, i32 0, i32 8
  %601 = load ptr, ptr %600, align 8, !tbaa !56
  store ptr %601, ptr %11, align 8, !tbaa !5
  br label %602

602:                                              ; preds = %639, %595
  %603 = load ptr, ptr %11, align 8, !tbaa !5
  %604 = icmp ne ptr %603, null
  br i1 %604, label %605, label %643

605:                                              ; preds = %602
  %606 = load ptr, ptr %11, align 8, !tbaa !5
  %607 = getelementptr inbounds %struct._Effect, ptr %606, i32 0, i32 4
  %608 = load ptr, ptr %607, align 8, !tbaa !64
  store ptr %608, ptr %12, align 8, !tbaa !5
  br label %609

609:                                              ; preds = %634, %605
  %610 = load ptr, ptr %12, align 8, !tbaa !5
  %611 = icmp ne ptr %610, null
  br i1 %611, label %612, label %638

612:                                              ; preds = %609
  %613 = load i32, ptr %7, align 4, !tbaa !9
  %614 = sext i32 %613 to i64
  %615 = getelementptr inbounds [50000 x ptr], ptr @goperators, i64 0, i64 %614
  %616 = load ptr, ptr %615, align 8, !tbaa !5
  %617 = getelementptr inbounds %struct._Operator, ptr %616, i32 0, i32 3
  %618 = load i8, ptr %617, align 4, !tbaa !41
  %619 = icmp ne i8 %618, 0
  br i1 %619, label %633, label %620

620:                                              ; preds = %612
  %621 = load ptr, ptr %12, align 8, !tbaa !5
  %622 = getelementptr inbounds %struct._Literal, ptr %621, i32 0, i32 1
  %623 = getelementptr inbounds %struct._Fact, ptr %622, i32 0, i32 0
  %624 = load i32, ptr %623, align 4, !tbaa !65
  %625 = sext i32 %624 to i64
  %626 = getelementptr inbounds [50 x i8], ptr @gaxiom_added, i64 0, i64 %625
  %627 = load i8, ptr %626, align 1, !tbaa !67
  %628 = zext i8 %627 to i32
  %629 = icmp ne i32 %628, 0
  br i1 %629, label %630, label %633

630:                                              ; preds = %620
  %631 = call i32 (ptr, ...) @printf(ptr noundef @.str.40)
  %632 = call i32 (ptr, ...) @printf(ptr noundef @.str.41)
  call void @exit(i32 noundef 1) #9
  unreachable

633:                                              ; preds = %620, %612
  br label %634

634:                                              ; preds = %633
  %635 = load ptr, ptr %12, align 8, !tbaa !5
  %636 = getelementptr inbounds %struct._Literal, ptr %635, i32 0, i32 2
  %637 = load ptr, ptr %636, align 8, !tbaa !68
  store ptr %637, ptr %12, align 8, !tbaa !5
  br label %609, !llvm.loop !72

638:                                              ; preds = %609
  br label %639

639:                                              ; preds = %638
  %640 = load ptr, ptr %11, align 8, !tbaa !5
  %641 = getelementptr inbounds %struct._Effect, ptr %640, i32 0, i32 6
  %642 = load ptr, ptr %641, align 8, !tbaa !60
  store ptr %642, ptr %11, align 8, !tbaa !5
  br label %602, !llvm.loop !73

643:                                              ; preds = %602
  br label %644

644:                                              ; preds = %643
  %645 = load i32, ptr %7, align 4, !tbaa !9
  %646 = add nsw i32 %645, 1
  store i32 %646, ptr %7, align 4, !tbaa !9
  br label %591, !llvm.loop !74

647:                                              ; preds = %591
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %9) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %2) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %1) #7
  ret void
}

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

declare ptr @new_Token(i32 noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local i32 @position_in_types_table(ptr noundef) #2

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

; Function Attrs: nounwind willreturn memory(read)
declare i64 @strlen(ptr noundef) #4

; Function Attrs: nounwind
declare ptr @strcpy(ptr noundef, ptr noundef) #5

; Function Attrs: nounwind willreturn memory(read)
declare i32 @strcmp(ptr noundef, ptr noundef) #4

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

; Function Attrs: nounwind uwtable
declare dso_local void @make_Fact(ptr noundef, ptr noundef, i32 noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local void @make_Fluent(ptr noundef, ptr noundef, i32 noundef) #2

; Function Attrs: nounwind
declare double @strtod(ptr noundef, ptr noundef) #5

declare void @free_PlNode(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local ptr @make_Wff(ptr noundef, i32 noundef) #2

; Function Attrs: nounwind uwtable
declare dso_local ptr @make_ExpNode(ptr noundef, i32 noundef) #2

declare ptr @new_ExpNode(i32 noundef) #1

declare ptr @new_Operator(ptr noundef, i32 noundef) #1

declare void @free_Operator(ptr noundef) #1

; Function Attrs: nounwind uwtable
declare dso_local ptr @make_effect(ptr noundef, i32 noundef) #2

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 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 #3 = { 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 #4 = { nounwind willreturn memory(read) "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 "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 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 #7 = { nounwind }
attributes #8 = { nounwind allocsize(0,1) }
attributes #9 = { noreturn nounwind }
attributes #10 = { nounwind willreturn memory(read) }

!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, !6, i64 48}
!12 = !{!"_PlNode", !10, i64 0, !6, i64 8, !6, i64 16, !10, i64 24, !10, i64 28, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56}
!13 = !{!12, !6, i64 56}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.mustprogress"}
!16 = !{!12, !10, i64 0}
!17 = !{!18, !10, i64 0}
!18 = !{!"_Fact", !10, i64 0, !7, i64 4}
!19 = distinct !{!19, !15}
!20 = distinct !{!20, !15}
!21 = !{!12, !6, i64 32}
!22 = !{!23, !6, i64 8}
!23 = !{!"_ParseExpNode", !10, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!24 = !{!12, !6, i64 40}
!25 = !{!26, !6, i64 0}
!26 = !{!"_TokenList", !6, i64 0, !6, i64 8}
!27 = !{!28, !30, i64 24}
!28 = !{!"_FluentValue", !29, i64 0, !30, i64 24}
!29 = !{!"_Fluent", !10, i64 0, !7, i64 4}
!30 = !{!"float", !7, i64 0}
!31 = distinct !{!31, !15}
!32 = distinct !{!32, !15}
!33 = !{!34, !10, i64 768}
!34 = !{!"_command_line", !7, i64 0, !7, i64 256, !7, i64 512, !10, i64 768, !10, i64 772, !10, i64 776, !7, i64 780, !10, i64 784, !30, i64 788}
!35 = !{!36, !6, i64 32}
!36 = !{!"_ExpNode", !10, i64 0, !6, i64 8, !10, i64 16, !30, i64 20, !30, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!37 = !{!38, !6, i64 0}
!38 = !{!"_PlOperator", !6, i64 0, !7, i64 8, !10, i64 12, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!39 = !{!38, !10, i64 12}
!40 = !{!38, !7, i64 8}
!41 = !{!42, !7, i64 132}
!42 = !{!"_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}
!43 = !{!38, !6, i64 24}
!44 = !{!45, !6, i64 0}
!45 = !{!"_FactList", !6, i64 0, !6, i64 8}
!46 = !{!26, !6, i64 8}
!47 = !{!42, !10, i64 136}
!48 = !{!42, !6, i64 0}
!49 = distinct !{!49, !15}
!50 = !{!45, !6, i64 8}
!51 = distinct !{!51, !15}
!52 = distinct !{!52, !15}
!53 = !{!38, !6, i64 32}
!54 = !{!42, !6, i64 216}
!55 = !{!38, !6, i64 40}
!56 = !{!42, !6, i64 224}
!57 = distinct !{!57, !15}
!58 = !{!59, !6, i64 216}
!59 = !{!"_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}
!60 = !{!59, !6, i64 208}
!61 = distinct !{!61, !15}
!62 = !{!38, !6, i64 48}
!63 = distinct !{!63, !15}
!64 = !{!59, !6, i64 192}
!65 = !{!66, !10, i64 4}
!66 = !{!"_Literal", !7, i64 0, !18, i64 4, !6, i64 32, !6, i64 40}
!67 = !{!7, !7, i64 0}
!68 = !{!66, !6, i64 32}
!69 = distinct !{!69, !15}
!70 = distinct !{!70, !15}
!71 = distinct !{!71, !15}
!72 = distinct !{!72, !15}
!73 = distinct !{!73, !15}
!74 = distinct !{!74, !15}


; 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._command_line = type { [256 x i8], [256 x i8], [256 x i8], i32, i32, i32, i8, i32, float }
%struct._Fact = type { i32, [5 x i32] }
%struct._FluentValue = type { %struct._Fluent, float }
%struct._Fluent = type { i32, [5 x i32] }

@gcmd_line = external local_unnamed_addr global %struct._command_line, align 4
@gnum_constants = external local_unnamed_addr global i32, align 4
@garity = external local_unnamed_addr global [50 x i32], align 16
@gnum_full_initial = external local_unnamed_addr global i32, align 4
@gfull_initial = external local_unnamed_addr global ptr, align 8
@gnum_full_fluents_initial = external local_unnamed_addr global i32, align 4
@gfull_fluents_initial = external local_unnamed_addr global ptr, align 8
@gnum_operators = external local_unnamed_addr global i32, align 4
@goperators = external local_unnamed_addr global [50000 x ptr], align 16
@ggoal = external local_unnamed_addr global ptr, align 8
@gmetric = external local_unnamed_addr global ptr, align 8
@gaxiom_added = external local_unnamed_addr global [50 x i8], align 16
@gorig_initial_facts = external local_unnamed_addr global ptr, align 8
@.str.30 = external hidden unnamed_addr constant [49 x i8], align 1
@gorig_goal_facts = external local_unnamed_addr global ptr, align 8
@gparse_metric = external local_unnamed_addr global ptr, align 8
@gparse_optimization = external local_unnamed_addr global ptr, align 8
@.str.31 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [9 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [54 x i8], align 1
@gloaded_ops = external local_unnamed_addr global ptr, align 8
@.str.36 = external hidden unnamed_addr constant [74 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [69 x i8], align 1
@lvar_types = external dso_local local_unnamed_addr global [15 x i32], align 16
@lvar_names = external dso_local local_unnamed_addr global [15 x ptr], align 16
@.str.39 = external hidden unnamed_addr constant [61 x i8], align 1
@.str.40 = external hidden unnamed_addr constant [52 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [44 x i8], align 1

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

; Function Attrs: nounwind uwtable
define dso_local void @create_integer_representation() local_unnamed_addr #1 {
  %1 = load ptr, ptr @gorig_initial_facts, align 8, !tbaa !5
  %.not = icmp eq ptr %1, null
  br i1 %.not, label %69, label %2

2:                                                ; preds = %0
  %3 = getelementptr inbounds i8, ptr %1, i64 48
  %.0118175 = load ptr, ptr %3, align 8, !tbaa !5
  %.not138176 = icmp eq ptr %.0118175, null
  br i1 %.not138176, label %._crit_edge194.critedge, label %.lr.ph

.lr.ph:                                           ; preds = %2, %.lr.ph
  %.0118178 = phi ptr [ %.0118, %.lr.ph ], [ %.0118175, %2 ]
  %.0120177 = phi i32 [ %4, %.lr.ph ], [ 0, %2 ]
  %4 = add nuw nsw i32 %.0120177, 1
  %5 = getelementptr inbounds i8, ptr %.0118178, i64 56
  %.0118 = load ptr, ptr %5, align 8, !tbaa !5
  %.not138 = icmp eq ptr %.0118, null
  br i1 %.not138, label %._crit_edge, label %.lr.ph, !llvm.loop !9

._crit_edge:                                      ; preds = %.lr.ph
  %6 = load i32, ptr @gnum_constants, align 4, !tbaa !11
  %7 = add nsw i32 %6, %4
  %8 = sext i32 %7 to i64
  %9 = tail call noalias ptr @calloc(i64 noundef %8, i64 noundef 24) #8
  store ptr %9, ptr @gfull_initial, align 8, !tbaa !5
  %10 = tail call noalias ptr @calloc(i64 noundef %8, i64 noundef 28) #8
  store ptr %10, ptr @gfull_fluents_initial, align 8, !tbaa !5
  br i1 %.not138176, label %._crit_edge194, label %.lr.ph193

.lr.ph193:                                        ; preds = %._crit_edge, %.loopexit
  %.1119191 = phi ptr [ %.1119, %.loopexit ], [ %.0118175, %._crit_edge ]
  %11 = load i32, ptr %.1119191, align 8, !tbaa !13
  %12 = icmp eq i32 %11, 2002
  br i1 %12, label %13, label %42

13:                                               ; preds = %.lr.ph193
  %14 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %15 = load i32, ptr @gnum_full_initial, align 4, !tbaa !11
  %16 = sext i32 %15 to i64
  %17 = getelementptr inbounds %struct._Fact, ptr %14, i64 %16
  tail call void @make_Fact(ptr noundef %17, ptr noundef nonnull %.1119191, i32 noundef 0)
  %18 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %19 = load i32, ptr @gnum_full_initial, align 4, !tbaa !11
  %20 = sext i32 %19 to i64
  %21 = getelementptr inbounds %struct._Fact, ptr %18, i64 %20
  %22 = load i32, ptr %21, align 4, !tbaa !15
  %23 = icmp eq i32 %22, 0
  br i1 %23, label %27, label %.preheader167

.preheader167:                                    ; preds = %13
  %24 = icmp sgt i32 %19, 0
  br i1 %24, label %.lr.ph188.preheader, label %.loopexit.sink.split

.lr.ph188.preheader:                              ; preds = %.preheader167
  %wide.trip.count266 = zext nneg i32 %19 to i64
  %25 = sext i32 %22 to i64
  %26 = getelementptr inbounds [50 x i32], ptr @garity, i64 0, i64 %25
  br label %.lr.ph188

27:                                               ; preds = %13
  %28 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.30)
  tail call void @exit(i32 noundef 1) #9
  unreachable

.lr.ph188:                                        ; preds = %.lr.ph188.preheader, %41
  %indvars.iv263 = phi i64 [ 0, %.lr.ph188.preheader ], [ %indvars.iv.next264, %41 ]
  %29 = getelementptr inbounds %struct._Fact, ptr %18, i64 %indvars.iv263
  %30 = load i32, ptr %29, align 4, !tbaa !15
  %.not158 = icmp eq i32 %30, %22
  br i1 %.not158, label %.preheader166, label %41

.preheader166:                                    ; preds = %.lr.ph188
  %31 = getelementptr inbounds i8, ptr %29, i64 4
  %32 = load i32, ptr %26, align 4, !tbaa !11
  %33 = icmp sgt i32 %32, 0
  br i1 %33, label %.lr.ph180.preheader, label %._crit_edge181

.lr.ph180.preheader:                              ; preds = %.preheader166
  %wide.trip.count = zext nneg i32 %32 to i64
  br label %.lr.ph180

.lr.ph180:                                        ; preds = %.lr.ph180.preheader, %38
  %indvars.iv = phi i64 [ 0, %.lr.ph180.preheader ], [ %indvars.iv.next, %38 ]
  %34 = getelementptr inbounds [5 x i32], ptr %31, i64 0, i64 %indvars.iv
  %35 = load i32, ptr %34, align 4, !tbaa !11
  %36 = getelementptr inbounds %struct._Fact, ptr %18, i64 %20, i32 1, i64 %indvars.iv
  %37 = load i32, ptr %36, align 4, !tbaa !11
  %.not159 = icmp eq i32 %35, %37
  br i1 %.not159, label %38, label %._crit_edge181.loopexit

38:                                               ; preds = %.lr.ph180
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %.loopexit, label %.lr.ph180, !llvm.loop !17

._crit_edge181.loopexit:                          ; preds = %.lr.ph180
  %39 = trunc nuw nsw i64 %indvars.iv to i32
  br label %._crit_edge181

._crit_edge181:                                   ; preds = %._crit_edge181.loopexit, %.preheader166
  %.0121.lcssa = phi i32 [ 0, %.preheader166 ], [ %39, %._crit_edge181.loopexit ]
  %40 = icmp eq i32 %.0121.lcssa, %32
  br i1 %40, label %.loopexit, label %41

41:                                               ; preds = %._crit_edge181, %.lr.ph188
  %indvars.iv.next264 = add nuw nsw i64 %indvars.iv263, 1
  %exitcond267.not = icmp eq i64 %indvars.iv.next264, %wide.trip.count266
  br i1 %exitcond267.not, label %.loopexit.sink.split, label %.lr.ph188, !llvm.loop !18

42:                                               ; preds = %.lr.ph193
  %43 = load ptr, ptr @gfull_fluents_initial, align 8, !tbaa !5
  %44 = load i32, ptr @gnum_full_fluents_initial, align 4, !tbaa !11
  %45 = sext i32 %44 to i64
  %46 = getelementptr inbounds %struct._FluentValue, ptr %43, i64 %45
  %47 = getelementptr inbounds i8, ptr %.1119191, i64 32
  %48 = load ptr, ptr %47, align 8, !tbaa !19
  %49 = getelementptr inbounds i8, ptr %48, i64 8
  %50 = load ptr, ptr %49, align 8, !tbaa !20
  tail call void @make_Fluent(ptr noundef %46, ptr noundef %50, i32 noundef 0)
  %51 = getelementptr inbounds i8, ptr %.1119191, i64 40
  %52 = load ptr, ptr %51, align 8, !tbaa !22
  %53 = getelementptr inbounds i8, ptr %52, i64 8
  %54 = load ptr, ptr %53, align 8, !tbaa !20
  %55 = load ptr, ptr %54, align 8, !tbaa !23
  %56 = tail call double @strtod(ptr nocapture noundef %55, ptr noundef null) #10
  %57 = fptrunc double %56 to float
  %58 = load ptr, ptr @gfull_fluents_initial, align 8, !tbaa !5
  %59 = load i32, ptr @gnum_full_fluents_initial, align 4, !tbaa !11
  %60 = sext i32 %59 to i64
  %61 = getelementptr inbounds %struct._FluentValue, ptr %58, i64 %60, i32 1
  store float %57, ptr %61, align 4, !tbaa !25
  br label %.loopexit.sink.split

.loopexit.sink.split:                             ; preds = %41, %.preheader167, %42
  %.sink295 = phi i32 [ %59, %42 ], [ %19, %.preheader167 ], [ %19, %41 ]
  %gnum_full_initial.sink = phi ptr [ @gnum_full_fluents_initial, %42 ], [ @gnum_full_initial, %.preheader167 ], [ @gnum_full_initial, %41 ]
  %62 = add nsw i32 %.sink295, 1
  store i32 %62, ptr %gnum_full_initial.sink, align 4, !tbaa !11
  br label %.loopexit

.loopexit:                                        ; preds = %._crit_edge181, %38, %.loopexit.sink.split
  %63 = getelementptr inbounds i8, ptr %.1119191, i64 56
  %.1119 = load ptr, ptr %63, align 8, !tbaa !5
  %.not139 = icmp eq ptr %.1119, null
  br i1 %.not139, label %._crit_edge194.loopexit, label %.lr.ph193, !llvm.loop !29

._crit_edge194.loopexit:                          ; preds = %.loopexit
  %.pre = load ptr, ptr @gorig_initial_facts, align 8, !tbaa !5
  br label %._crit_edge194

._crit_edge194.critedge:                          ; preds = %2
  %64 = load i32, ptr @gnum_constants, align 4, !tbaa !11
  %65 = sext i32 %64 to i64
  %66 = tail call noalias ptr @calloc(i64 noundef %65, i64 noundef 24) #8
  store ptr %66, ptr @gfull_initial, align 8, !tbaa !5
  %67 = tail call noalias ptr @calloc(i64 noundef %65, i64 noundef 28) #8
  store ptr %67, ptr @gfull_fluents_initial, align 8, !tbaa !5
  br label %._crit_edge194

._crit_edge194:                                   ; preds = %._crit_edge194.critedge, %._crit_edge194.loopexit, %._crit_edge
  %68 = phi ptr [ %.pre, %._crit_edge194.loopexit ], [ %1, %._crit_edge ], [ %1, %._crit_edge194.critedge ]
  tail call void @free_PlNode(ptr noundef %68) #10
  br label %69

69:                                               ; preds = %._crit_edge194, %0
  %70 = load i32, ptr @gnum_constants, align 4, !tbaa !11
  %71 = icmp sgt i32 %70, 0
  br i1 %71, label %.lr.ph197, label %._crit_edge198

.lr.ph197:                                        ; preds = %69
  %72 = load ptr, ptr @gfull_initial, align 8, !tbaa !5
  %.pre284 = load i32, ptr @gnum_full_initial, align 4, !tbaa !11
  br label %73

73:                                               ; preds = %.lr.ph197, %73
  %74 = phi i32 [ %.pre284, %.lr.ph197 ], [ %84, %73 ]
  %.1123195 = phi i32 [ 0, %.lr.ph197 ], [ %85, %73 ]
  %75 = sext i32 %74 to i64
  %76 = getelementptr inbounds %struct._Fact, ptr %72, i64 %75
  store i32 0, ptr %76, align 4, !tbaa !15
  %77 = load i32, ptr @gnum_full_initial, align 4, !tbaa !11
  %78 = sext i32 %77 to i64
  %79 = getelementptr inbounds %struct._Fact, ptr %72, i64 %78, i32 1
  store i32 %.1123195, ptr %79, align 4, !tbaa !11
  %80 = load i32, ptr @gnum_full_initial, align 4, !tbaa !11
  %81 = sext i32 %80 to i64
  %82 = getelementptr inbounds %struct._Fact, ptr %72, i64 %81, i32 1, i64 1
  store i32 %.1123195, ptr %82, align 4, !tbaa !11
  %83 = load i32, ptr @gnum_full_initial, align 4, !tbaa !11
  %84 = add nsw i32 %83, 1
  store i32 %84, ptr @gnum_full_initial, align 4, !tbaa !11
  %85 = add nuw nsw i32 %.1123195, 1
  %86 = load i32, ptr @gnum_constants, align 4, !tbaa !11
  %87 = icmp slt i32 %85, %86
  br i1 %87, label %73, label %._crit_edge198, !llvm.loop !30

._crit_edge198:                                   ; preds = %73, %69
  %88 = load ptr, ptr @gorig_goal_facts, align 8, !tbaa !5
  %89 = tail call ptr @make_Wff(ptr noundef %88, i32 noundef 0)
  store ptr %89, ptr @ggoal, align 8, !tbaa !5
  %90 = load ptr, ptr @gparse_metric, align 8, !tbaa !5
  %.not140 = icmp eq ptr %90, null
  br i1 %.not140, label %116, label %91

91:                                               ; preds = %._crit_edge198
  %92 = tail call ptr @make_ExpNode(ptr noundef nonnull %90, i32 noundef 0)
  store ptr %92, ptr @gmetric, align 8, !tbaa !5
  %93 = load ptr, ptr @gparse_optimization, align 8, !tbaa !5
  %94 = tail call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %93, ptr noundef nonnull dereferenceable(1) @.str.31) #11
  %.not141 = icmp eq i32 %94, 0
  br i1 %.not141, label %106, label %95

95:                                               ; preds = %91
  %96 = tail call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %93, ptr noundef nonnull dereferenceable(1) @.str.32) #11
  %.not142 = icmp eq i32 %96, 0
  br i1 %.not142, label %106, label %97

97:                                               ; preds = %95
  %98 = tail call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %93, ptr noundef nonnull dereferenceable(1) @.str.33) #11
  %.not143 = icmp eq i32 %98, 0
  br i1 %.not143, label %106, label %99

99:                                               ; preds = %97
  %100 = tail call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %93, ptr noundef nonnull dereferenceable(1) @.str.34) #11
  %.not144 = icmp eq i32 %100, 0
  br i1 %.not144, label %106, label %101

101:                                              ; preds = %99
  %102 = load i32, ptr getelementptr inbounds (i8, ptr @gcmd_line, i64 768), align 4, !tbaa !31
  %.not157 = icmp eq i32 %102, 0
  br i1 %.not157, label %105, label %103

103:                                              ; preds = %101
  %104 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.35, ptr noundef %93)
  br label %105

105:                                              ; preds = %103, %101
  tail call void @exit(i32 noundef 1) #9
  unreachable

106:                                              ; preds = %99, %97, %95, %91
  %107 = tail call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %93, ptr noundef nonnull dereferenceable(1) @.str.33) #11
  %108 = icmp eq i32 %107, 0
  br i1 %108, label %112, label %109

109:                                              ; preds = %106
  %110 = tail call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %93, ptr noundef nonnull dereferenceable(1) @.str.34) #11
  %111 = icmp eq i32 %110, 0
  br i1 %111, label %112, label %116

112:                                              ; preds = %109, %106
  %113 = tail call ptr @new_ExpNode(i32 noundef 1002) #10
  %114 = load ptr, ptr @gmetric, align 8, !tbaa !5
  %115 = getelementptr inbounds i8, ptr %113, i64 32
  store ptr %114, ptr %115, align 8, !tbaa !33
  store ptr %113, ptr @gmetric, align 8, !tbaa !5
  br label %116

116:                                              ; preds = %109, %112, %._crit_edge198
  %.0127220 = load ptr, ptr @gloaded_ops, align 8, !tbaa !5
  %.not145221 = icmp eq ptr %.0127220, null
  br i1 %.not145221, label %.preheader163, label %.lr.ph224

.preheader163:                                    ; preds = %228, %116
  %117 = load i32, ptr @gnum_operators, align 4, !tbaa !11
  %118 = icmp sgt i32 %117, 0
  br i1 %118, label %.lr.ph238.preheader, label %._crit_edge254

.lr.ph238.preheader:                              ; preds = %.preheader163
  %wide.trip.count277 = zext nneg i32 %117 to i64
  br label %.lr.ph238

.lr.ph224:                                        ; preds = %116, %228
  %.0127222 = phi ptr [ %.0127, %228 ], [ %.0127220, %116 ]
  %119 = load ptr, ptr %.0127222, align 8, !tbaa !35
  %120 = getelementptr inbounds i8, ptr %.0127222, i64 12
  %121 = load i32, ptr %120, align 4, !tbaa !37
  %122 = tail call ptr @new_Operator(ptr noundef %119, i32 noundef %121) #10
  %123 = getelementptr inbounds i8, ptr %.0127222, i64 8
  %124 = load i8, ptr %123, align 8, !tbaa !38
  %125 = getelementptr inbounds i8, ptr %122, i64 132
  store i8 %124, ptr %125, align 4, !tbaa !39
  %126 = getelementptr inbounds i8, ptr %.0127222, i64 24
  %.0126202 = load ptr, ptr %126, align 8, !tbaa !5
  %.not153203 = icmp eq ptr %.0126202, null
  br i1 %.not153203, label %.critedge161.preheader, label %.lr.ph206

.lr.ph206:                                        ; preds = %.lr.ph224
  %127 = getelementptr inbounds i8, ptr %122, i64 136
  %128 = getelementptr inbounds i8, ptr %122, i64 8
  %129 = getelementptr inbounds i8, ptr %122, i64 140
  br label %135

.critedge161.preheader:                           ; preds = %._crit_edge201, %.lr.ph224
  %130 = getelementptr inbounds i8, ptr %122, i64 136
  %131 = load i32, ptr %130, align 8, !tbaa !41
  %132 = icmp sgt i32 %131, 0
  br i1 %132, label %.lr.ph208, label %.critedge161._crit_edge

.lr.ph208:                                        ; preds = %.critedge161.preheader
  %133 = getelementptr inbounds i8, ptr %122, i64 140
  %134 = getelementptr inbounds i8, ptr %122, i64 8
  br label %.critedge161

135:                                              ; preds = %.lr.ph206, %._crit_edge201
  %.0126204 = phi ptr [ %.0126202, %.lr.ph206 ], [ %.0126, %._crit_edge201 ]
  %136 = load ptr, ptr %.0126204, align 8, !tbaa !42
  %137 = getelementptr inbounds i8, ptr %136, i64 8
  %138 = load ptr, ptr %137, align 8, !tbaa !44
  %139 = load ptr, ptr %138, align 8, !tbaa !23
  %140 = tail call i32 @position_in_types_table(ptr noundef %139)
  %141 = icmp eq i32 %140, -1
  br i1 %141, label %181, label %142

142:                                              ; preds = %135
  %143 = load i32, ptr %127, align 8, !tbaa !41
  %144 = icmp eq i32 %143, 15
  br i1 %144, label %146, label %.preheader164

.preheader164:                                    ; preds = %142
  %145 = icmp sgt i32 %143, 0
  br i1 %145, label %.lr.ph200, label %._crit_edge201

146:                                              ; preds = %142
  %147 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.37, i32 noundef 15)
  tail call void @exit(i32 noundef 1) #9
  unreachable

.lr.ph200:                                        ; preds = %.preheader164, %160
  %148 = phi i32 [ %161, %160 ], [ %143, %.preheader164 ]
  %indvars.iv268 = phi i64 [ %indvars.iv.next269, %160 ], [ 0, %.preheader164 ]
  %149 = getelementptr inbounds [15 x ptr], ptr %128, i64 0, i64 %indvars.iv268
  %150 = load ptr, ptr %149, align 8, !tbaa !5
  %151 = load ptr, ptr %.0126204, align 8, !tbaa !42
  %152 = load ptr, ptr %151, align 8, !tbaa !23
  %153 = icmp eq ptr %150, %152
  br i1 %153, label %157, label %154

154:                                              ; preds = %.lr.ph200
  %155 = tail call i32 @strcmp(ptr noundef nonnull dereferenceable(1) %150, ptr noundef nonnull dereferenceable(1) %152) #11
  %156 = icmp eq i32 %155, 0
  br i1 %156, label %157, label %160

157:                                              ; preds = %154, %.lr.ph200
  %158 = load ptr, ptr %122, align 8, !tbaa !45
  %159 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.38, ptr noundef %158, ptr noundef %152)
  %.pre285 = load i32, ptr %127, align 8, !tbaa !41
  br label %160

160:                                              ; preds = %154, %157
  %161 = phi i32 [ %148, %154 ], [ %.pre285, %157 ]
  %indvars.iv.next269 = add nuw nsw i64 %indvars.iv268, 1
  %162 = sext i32 %161 to i64
  %163 = icmp slt i64 %indvars.iv.next269, %162
  br i1 %163, label %.lr.ph200, label %._crit_edge201, !llvm.loop !46

._crit_edge201:                                   ; preds = %160, %.preheader164
  %164 = load ptr, ptr %.0126204, align 8, !tbaa !42
  %165 = load ptr, ptr %164, align 8, !tbaa !23
  %166 = tail call i64 @strlen(ptr noundef nonnull dereferenceable(1) %165) #11
  %167 = trunc i64 %166 to i32
  %168 = add i32 %167, 1
  %169 = tail call ptr @new_Token(i32 noundef %168) #10
  %170 = load i32, ptr %127, align 8, !tbaa !41
  %171 = sext i32 %170 to i64
  %172 = getelementptr inbounds [15 x ptr], ptr %128, i64 0, i64 %171
  store ptr %169, ptr %172, align 8, !tbaa !5
  %173 = load ptr, ptr %.0126204, align 8, !tbaa !42
  %174 = load ptr, ptr %173, align 8, !tbaa !23
  %175 = tail call ptr @strcpy(ptr noundef nonnull dereferenceable(1) %169, ptr noundef nonnull dereferenceable(1) %174) #10
  %176 = load i32, ptr %127, align 8, !tbaa !41
  %177 = add nsw i32 %176, 1
  store i32 %177, ptr %127, align 8, !tbaa !41
  %178 = sext i32 %176 to i64
  %179 = getelementptr inbounds [15 x i32], ptr %129, i64 0, i64 %178
  store i32 %140, ptr %179, align 4, !tbaa !11
  %180 = getelementptr inbounds i8, ptr %.0126204, i64 8
  %.0126 = load ptr, ptr %180, align 8, !tbaa !5
  %.not153 = icmp eq ptr %.0126, null
  br i1 %.not153, label %.critedge161.preheader, label %135, !llvm.loop !47

181:                                              ; preds = %135
  %182 = load ptr, ptr %.0126204, align 8, !tbaa !42
  %183 = load ptr, ptr %182, align 8, !tbaa !23
  %184 = load ptr, ptr %.0127222, align 8, !tbaa !35
  %185 = getelementptr inbounds i8, ptr %182, i64 8
  %186 = load ptr, ptr %185, align 8, !tbaa !44
  %187 = load ptr, ptr %186, align 8, !tbaa !23
  %188 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.36, ptr noundef %183, ptr noundef %184, ptr noundef %187)
  tail call void @free_Operator(ptr noundef nonnull %122) #10
  br label %228

.critedge161:                                     ; preds = %.lr.ph208, %.critedge161
  %indvars.iv271 = phi i64 [ 0, %.lr.ph208 ], [ %indvars.iv.next272, %.critedge161 ]
  %189 = getelementptr inbounds [15 x i32], ptr %133, i64 0, i64 %indvars.iv271
  %190 = load i32, ptr %189, align 4, !tbaa !11
  %191 = getelementptr inbounds [15 x i32], ptr @lvar_types, i64 0, i64 %indvars.iv271
  store i32 %190, ptr %191, align 4, !tbaa !11
  %192 = getelementptr inbounds [15 x ptr], ptr %134, i64 0, i64 %indvars.iv271
  %193 = load ptr, ptr %192, align 8, !tbaa !5
  %194 = getelementptr inbounds [15 x ptr], ptr @lvar_names, i64 0, i64 %indvars.iv271
  store ptr %193, ptr %194, align 8, !tbaa !5
  %indvars.iv.next272 = add nuw nsw i64 %indvars.iv271, 1
  %195 = load i32, ptr %130, align 8, !tbaa !41
  %196 = sext i32 %195 to i64
  %197 = icmp slt i64 %indvars.iv.next272, %196
  br i1 %197, label %.critedge161, label %.critedge161._crit_edge, !llvm.loop !48

.critedge161._crit_edge:                          ; preds = %.critedge161, %.critedge161.preheader
  %.lcssa170 = phi i32 [ %131, %.critedge161.preheader ], [ %195, %.critedge161 ]
  %198 = getelementptr inbounds i8, ptr %.0127222, i64 32
  %199 = load ptr, ptr %198, align 8, !tbaa !49
  %200 = tail call ptr @make_Wff(ptr noundef %199, i32 noundef %.lcssa170)
  %201 = getelementptr inbounds i8, ptr %122, i64 216
  store ptr %200, ptr %201, align 8, !tbaa !50
  %202 = getelementptr inbounds i8, ptr %.0127222, i64 40
  %203 = load ptr, ptr %202, align 8, !tbaa !51
  %.not154 = icmp eq ptr %203, null
  br i1 %.not154, label %.critedge162, label %204

204:                                              ; preds = %.critedge161._crit_edge
  %205 = getelementptr inbounds i8, ptr %203, i64 48
  %.0125210 = load ptr, ptr %205, align 8, !tbaa !5
  %.not155211 = icmp eq ptr %.0125210, null
  br i1 %.not155211, label %.critedge162, label %.lr.ph214

.lr.ph214:                                        ; preds = %204
  %206 = getelementptr inbounds i8, ptr %122, i64 224
  br label %207

207:                                              ; preds = %.lr.ph214, %212
  %.0125212 = phi ptr [ %.0125210, %.lr.ph214 ], [ %.0125, %212 ]
  %208 = load i32, ptr %130, align 8, !tbaa !41
  %209 = tail call ptr @make_effect(ptr noundef nonnull %.0125212, i32 noundef %208)
  store ptr %209, ptr %206, align 8, !tbaa !52
  %210 = icmp eq ptr %209, null
  %211 = getelementptr inbounds i8, ptr %.0125212, i64 56
  %.0125 = load ptr, ptr %211, align 8, !tbaa !5
  %.not155 = icmp eq ptr %.0125, null
  br i1 %210, label %212, label %.critedge.preheader

.critedge.preheader:                              ; preds = %207
  br i1 %.not155, label %.critedge162, label %.lr.ph219

212:                                              ; preds = %207
  br i1 %.not155, label %.critedge162, label %207, !llvm.loop !53

.lr.ph219:                                        ; preds = %.critedge.preheader, %.critedge
  %.2218 = phi ptr [ %.2, %.critedge ], [ %.0125, %.critedge.preheader ]
  %213 = load i32, ptr %130, align 8, !tbaa !41
  %214 = tail call ptr @make_effect(ptr noundef nonnull %.2218, i32 noundef %213)
  %215 = load ptr, ptr %206, align 8, !tbaa !52
  %216 = getelementptr inbounds i8, ptr %215, i64 216
  store ptr %214, ptr %216, align 8, !tbaa !54
  %217 = icmp eq ptr %214, null
  br i1 %217, label %.critedge, label %218

218:                                              ; preds = %.lr.ph219
  %219 = getelementptr inbounds i8, ptr %214, i64 208
  store ptr %215, ptr %219, align 8, !tbaa !56
  store ptr %214, ptr %206, align 8, !tbaa !52
  br label %.critedge

.critedge:                                        ; preds = %.lr.ph219, %218
  %.2.in = getelementptr inbounds i8, ptr %.2218, i64 56
  %.2 = load ptr, ptr %.2.in, align 8, !tbaa !57
  %.not156 = icmp eq ptr %.2, null
  br i1 %.not156, label %.critedge162, label %.lr.ph219, !llvm.loop !58

.critedge162:                                     ; preds = %212, %.critedge, %204, %.critedge.preheader, %.critedge161._crit_edge
  %220 = load i32, ptr @gnum_operators, align 4, !tbaa !11
  %221 = icmp eq i32 %220, 50000
  br i1 %221, label %222, label %224

222:                                              ; preds = %.critedge162
  %223 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.39, i32 noundef 50000)
  tail call void @exit(i32 noundef 1) #9
  unreachable

224:                                              ; preds = %.critedge162
  %225 = add nsw i32 %220, 1
  store i32 %225, ptr @gnum_operators, align 4, !tbaa !11
  %226 = sext i32 %220 to i64
  %227 = getelementptr inbounds [50000 x ptr], ptr @goperators, i64 0, i64 %226
  store ptr %122, ptr %227, align 8, !tbaa !5
  br label %228

228:                                              ; preds = %224, %181
  %229 = getelementptr inbounds i8, ptr %.0127222, i64 48
  %.0127 = load ptr, ptr %229, align 8, !tbaa !5
  %.not145 = icmp eq ptr %.0127, null
  br i1 %.not145, label %.preheader163, label %.lr.ph224, !llvm.loop !59

.preheader:                                       ; preds = %._crit_edge236
  br i1 %118, label %.lr.ph253.preheader, label %._crit_edge254

.lr.ph253.preheader:                              ; preds = %.preheader
  %wide.trip.count282 = zext nneg i32 %117 to i64
  br label %.lr.ph253

.lr.ph238:                                        ; preds = %.lr.ph238.preheader, %._crit_edge236
  %indvars.iv274 = phi i64 [ 0, %.lr.ph238.preheader ], [ %indvars.iv.next275, %._crit_edge236 ]
  %230 = getelementptr inbounds [50000 x ptr], ptr @goperators, i64 0, i64 %indvars.iv274
  %231 = load ptr, ptr %230, align 8, !tbaa !5
  %232 = getelementptr inbounds i8, ptr %231, i64 224
  %.0116231 = load ptr, ptr %232, align 8, !tbaa !5
  %.not150232 = icmp eq ptr %.0116231, null
  br i1 %.not150232, label %._crit_edge236, label %.lr.ph235

.lr.ph235:                                        ; preds = %.lr.ph238
  %233 = getelementptr inbounds i8, ptr %231, i64 132
  br label %234

234:                                              ; preds = %.lr.ph235, %._crit_edge230
  %.0116233 = phi ptr [ %.0116231, %.lr.ph235 ], [ %.0116, %._crit_edge230 ]
  %235 = getelementptr inbounds i8, ptr %.0116233, i64 192
  %.0225 = load ptr, ptr %235, align 8, !tbaa !5
  %.not151226 = icmp eq ptr %.0225, null
  br i1 %.not151226, label %._crit_edge230, label %.lr.ph229

.lr.ph229:                                        ; preds = %234
  %236 = load i8, ptr %233, align 4, !tbaa !39
  %237 = icmp eq i8 %236, 0
  br i1 %237, label %._crit_edge230, label %.lr.ph229.split

.lr.ph229.splitthread-pre-split:                  ; preds = %244
  %.pr = load i8, ptr %233, align 4, !tbaa !39
  br label %.lr.ph229.split

.lr.ph229.split:                                  ; preds = %.lr.ph229, %.lr.ph229.splitthread-pre-split
  %238 = phi i8 [ %.pr, %.lr.ph229.splitthread-pre-split ], [ 1, %.lr.ph229 ]
  %.0227 = phi ptr [ %.0, %.lr.ph229.splitthread-pre-split ], [ %.0225, %.lr.ph229 ]
  %.not152 = icmp eq i8 %238, 0
  br i1 %.not152, label %244, label %239

239:                                              ; preds = %.lr.ph229.split
  %240 = getelementptr inbounds i8, ptr %.0227, i64 4
  %241 = load i32, ptr %240, align 4, !tbaa !60
  %242 = sext i32 %241 to i64
  %243 = getelementptr inbounds [50 x i8], ptr @gaxiom_added, i64 0, i64 %242
  store i8 1, ptr %243, align 1, !tbaa !62
  br label %244

244:                                              ; preds = %.lr.ph229.split, %239
  %245 = getelementptr inbounds i8, ptr %.0227, i64 32
  %.0 = load ptr, ptr %245, align 8, !tbaa !5
  %.not151 = icmp eq ptr %.0, null
  br i1 %.not151, label %._crit_edge230, label %.lr.ph229.splitthread-pre-split, !llvm.loop !63

._crit_edge230:                                   ; preds = %244, %.lr.ph229, %234
  %246 = getelementptr inbounds i8, ptr %.0116233, i64 208
  %.0116 = load ptr, ptr %246, align 8, !tbaa !5
  %.not150 = icmp eq ptr %.0116, null
  br i1 %.not150, label %._crit_edge236, label %234, !llvm.loop !65

._crit_edge236:                                   ; preds = %._crit_edge230, %.lr.ph238
  %indvars.iv.next275 = add nuw nsw i64 %indvars.iv274, 1
  %exitcond278.not = icmp eq i64 %indvars.iv.next275, %wide.trip.count277
  br i1 %exitcond278.not, label %.preheader, label %.lr.ph238, !llvm.loop !66

.lr.ph253:                                        ; preds = %.lr.ph253.preheader, %._crit_edge251
  %indvars.iv279 = phi i64 [ 0, %.lr.ph253.preheader ], [ %indvars.iv.next280, %._crit_edge251 ]
  %247 = getelementptr inbounds [50000 x ptr], ptr @goperators, i64 0, i64 %indvars.iv279
  %248 = load ptr, ptr %247, align 8, !tbaa !5
  %249 = getelementptr inbounds i8, ptr %248, i64 224
  %.1117246 = load ptr, ptr %249, align 8, !tbaa !5
  %.not146247 = icmp eq ptr %.1117246, null
  br i1 %.not146247, label %._crit_edge251, label %.lr.ph250

.lr.ph250:                                        ; preds = %.lr.ph253
  %250 = getelementptr inbounds i8, ptr %248, i64 132
  br label %251

251:                                              ; preds = %.lr.ph250, %._crit_edge245
  %.1117248 = phi ptr [ %.1117246, %.lr.ph250 ], [ %.1117, %._crit_edge245 ]
  %252 = getelementptr inbounds i8, ptr %.1117248, i64 192
  %.1240 = load ptr, ptr %252, align 8, !tbaa !5
  %.not147241 = icmp eq ptr %.1240, null
  br i1 %.not147241, label %._crit_edge245, label %.lr.ph244

.lr.ph244:                                        ; preds = %251
  %253 = load i8, ptr %250, align 4, !tbaa !39
  %.not148 = icmp eq i8 %253, 0
  br i1 %.not148, label %.lr.ph244.split.us, label %._crit_edge245

.lr.ph244.split.us:                               ; preds = %.lr.ph244, %259
  %.1242.us = phi ptr [ %.1.us, %259 ], [ %.1240, %.lr.ph244 ]
  %254 = getelementptr inbounds i8, ptr %.1242.us, i64 4
  %255 = load i32, ptr %254, align 4, !tbaa !60
  %256 = sext i32 %255 to i64
  %257 = getelementptr inbounds [50 x i8], ptr @gaxiom_added, i64 0, i64 %256
  %258 = load i8, ptr %257, align 1, !tbaa !62
  %.not149.us = icmp eq i8 %258, 0
  br i1 %.not149.us, label %259, label %.split.us

259:                                              ; preds = %.lr.ph244.split.us
  %260 = getelementptr inbounds i8, ptr %.1242.us, i64 32
  %.1.us = load ptr, ptr %260, align 8, !tbaa !5
  %.not147.us = icmp eq ptr %.1.us, null
  br i1 %.not147.us, label %._crit_edge245, label %.lr.ph244.split.us, !llvm.loop !67

.split.us:                                        ; preds = %.lr.ph244.split.us
  %261 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.40)
  %262 = tail call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.41)
  tail call void @exit(i32 noundef 1) #9
  unreachable

._crit_edge245:                                   ; preds = %259, %.lr.ph244, %251
  %263 = getelementptr inbounds i8, ptr %.1117248, i64 208
  %.1117 = load ptr, ptr %263, align 8, !tbaa !5
  %.not146 = icmp eq ptr %.1117, null
  br i1 %.not146, label %._crit_edge251, label %251, !llvm.loop !68

._crit_edge251:                                   ; preds = %._crit_edge245, %.lr.ph253
  %indvars.iv.next280 = add nuw nsw i64 %indvars.iv279, 1
  %exitcond283.not = icmp eq i64 %indvars.iv.next280, %wide.trip.count282
  br i1 %exitcond283.not, label %._crit_edge254, label %.lr.ph253, !llvm.loop !69

._crit_edge254:                                   ; preds = %._crit_edge251, %.preheader163, %.preheader
  ret void
}

declare ptr @new_Token(i32 noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local i32 @position_in_types_table(ptr noundef) local_unnamed_addr #1

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

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i64 @strlen(ptr nocapture noundef) local_unnamed_addr #4

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: readwrite)
declare ptr @strcpy(ptr noalias noundef returned writeonly, ptr noalias nocapture noundef readonly) local_unnamed_addr #5

; Function Attrs: mustprogress nofree nounwind willreturn memory(argmem: read)
declare i32 @strcmp(ptr nocapture noundef, ptr nocapture noundef) local_unnamed_addr #4

; 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 #6

; Function Attrs: nounwind uwtable
declare dso_local void @make_Fact(ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local void @make_Fluent(ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nofree nounwind willreturn
declare double @strtod(ptr noundef readonly, ptr nocapture noundef) local_unnamed_addr #7

declare void @free_PlNode(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local ptr @make_Wff(ptr noundef, i32 noundef) local_unnamed_addr #1

; Function Attrs: nounwind uwtable
declare dso_local ptr @make_ExpNode(ptr noundef, i32 noundef) local_unnamed_addr #1

declare ptr @new_ExpNode(i32 noundef) local_unnamed_addr #2

declare ptr @new_Operator(ptr noundef, i32 noundef) local_unnamed_addr #2

declare void @free_Operator(ptr noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
declare dso_local ptr @make_effect(ptr noundef, i32 noundef) local_unnamed_addr #1

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

!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 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = !{!14, !12, i64 0}
!14 = !{!"_PlNode", !12, i64 0, !6, i64 8, !6, i64 16, !12, i64 24, !12, i64 28, !6, i64 32, !6, i64 40, !6, i64 48, !6, i64 56}
!15 = !{!16, !12, i64 0}
!16 = !{!"_Fact", !12, i64 0, !7, i64 4}
!17 = distinct !{!17, !10}
!18 = distinct !{!18, !10}
!19 = !{!14, !6, i64 32}
!20 = !{!21, !6, i64 8}
!21 = !{!"_ParseExpNode", !12, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!22 = !{!14, !6, i64 40}
!23 = !{!24, !6, i64 0}
!24 = !{!"_TokenList", !6, i64 0, !6, i64 8}
!25 = !{!26, !28, i64 24}
!26 = !{!"_FluentValue", !27, i64 0, !28, i64 24}
!27 = !{!"_Fluent", !12, i64 0, !7, i64 4}
!28 = !{!"float", !7, i64 0}
!29 = distinct !{!29, !10}
!30 = distinct !{!30, !10}
!31 = !{!32, !12, i64 768}
!32 = !{!"_command_line", !7, i64 0, !7, i64 256, !7, i64 512, !12, i64 768, !12, i64 772, !12, i64 776, !7, i64 780, !12, i64 784, !28, i64 788}
!33 = !{!34, !6, i64 32}
!34 = !{!"_ExpNode", !12, i64 0, !6, i64 8, !12, i64 16, !28, i64 20, !28, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!35 = !{!36, !6, i64 0}
!36 = !{!"_PlOperator", !6, i64 0, !7, i64 8, !12, i64 12, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!37 = !{!36, !12, i64 12}
!38 = !{!36, !7, i64 8}
!39 = !{!40, !7, i64 132}
!40 = !{!"_Operator", !6, i64 0, !7, i64 8, !12, i64 128, !7, i64 132, !12, i64 136, !7, i64 140, !7, i64 200, !6, i64 216, !6, i64 224, !7, i64 232}
!41 = !{!40, !12, i64 136}
!42 = !{!43, !6, i64 0}
!43 = !{!"_FactList", !6, i64 0, !6, i64 8}
!44 = !{!24, !6, i64 8}
!45 = !{!40, !6, i64 0}
!46 = distinct !{!46, !10}
!47 = distinct !{!47, !10}
!48 = distinct !{!48, !10}
!49 = !{!36, !6, i64 32}
!50 = !{!40, !6, i64 216}
!51 = !{!36, !6, i64 40}
!52 = !{!40, !6, i64 224}
!53 = distinct !{!53, !10}
!54 = !{!55, !6, i64 216}
!55 = !{!"_Effect", !12, i64 0, !7, i64 4, !7, i64 64, !6, i64 184, !6, i64 192, !6, i64 200, !6, i64 208, !6, i64 216}
!56 = !{!55, !6, i64 208}
!57 = !{!14, !6, i64 56}
!58 = distinct !{!58, !10}
!59 = distinct !{!59, !10}
!60 = !{!61, !12, i64 4}
!61 = !{!"_Literal", !7, i64 0, !16, i64 4, !6, i64 32, !6, i64 40}
!62 = !{!7, !7, i64 0}
!63 = distinct !{!63, !10, !64}
!64 = !{!"llvm.loop.unswitch.partial.disable"}
!65 = distinct !{!65, !10}
!66 = distinct !{!66, !10}
!67 = distinct !{!67, !10}
!68 = distinct !{!68, !10}
!69 = distinct !{!69, !10}


; Effective O3 passes: ConstraintEliminationPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SROAPass,SimpleLoopUnswitchPass,SimplifyCFGPass,TailCallElimPass