diff --git a/lib/src/compiler/ir/tests/testdata/2.no-folding.ir b/lib/src/compiler/ir/tests/testdata/2.no-folding.ir
index 90b6a3ca..ff75bd5d 100644
--- a/lib/src/compiler/ir/tests/testdata/2.no-folding.ir
+++ b/lib/src/compiler/ir/tests/testdata/2.no-folding.ir
@@ -12,34 +12,34 @@ RULE test
         AND
           LE
             FIELD_ACCESS
-              IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 12 }) }
+              IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 17 }) }
               IDENT Symbol { type_value: integer(unknown), kind: Field(0, false) }
             PATTERN_OFFSET PatternIdx(0) INDEX
-              IDENT Symbol { type_value: integer(unknown), kind: Var(Var { ty: integer, index: 0 }) }
+              IDENT Symbol { type_value: integer(unknown), kind: Var(Var { ty: integer, index: 5 }) }
           LE
             PATTERN_OFFSET PatternIdx(0) INDEX
-              IDENT Symbol { type_value: integer(unknown), kind: Var(Var { ty: integer, index: 0 }) }
+              IDENT Symbol { type_value: integer(unknown), kind: Var(Var { ty: integer, index: 5 }) }
             ADD
               FIELD_ACCESS
-                IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 12 }) }
+                IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 17 }) }
                 IDENT Symbol { type_value: integer(unknown), kind: Field(0, false) }
               FIELD_ACCESS
-                IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 12 }) }
+                IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 17 }) }
                 IDENT Symbol { type_value: integer(unknown), kind: Field(1, false) }
           LE
             FIELD_ACCESS
-              IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 12 }) }
+              IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 17 }) }
               IDENT Symbol { type_value: integer(unknown), kind: Field(0, false) }
             PATTERN_OFFSET PatternIdx(1) INDEX
-              IDENT Symbol { type_value: integer(unknown), kind: Var(Var { ty: integer, index: 6 }) }
+              IDENT Symbol { type_value: integer(unknown), kind: Var(Var { ty: integer, index: 11 }) }
           LE
             PATTERN_OFFSET PatternIdx(1) INDEX
-              IDENT Symbol { type_value: integer(unknown), kind: Var(Var { ty: integer, index: 6 }) }
+              IDENT Symbol { type_value: integer(unknown), kind: Var(Var { ty: integer, index: 11 }) }
             ADD
               FIELD_ACCESS
-                IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 12 }) }
+                IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 17 }) }
                 IDENT Symbol { type_value: integer(unknown), kind: Field(0, false) }
               FIELD_ACCESS
-                IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 12 }) }
+                IDENT Symbol { type_value: struct, kind: Var(Var { ty: struct, index: 17 }) }
                 IDENT Symbol { type_value: integer(unknown), kind: Field(1, false) }