diff --git a/crates/compiler/mono/src/tail_recursion.rs b/crates/compiler/mono/src/tail_recursion.rs
index befdc15f3c..d33692f491 100644
--- a/crates/compiler/mono/src/tail_recursion.rs
+++ b/crates/compiler/mono/src/tail_recursion.rs
@@ -49,7 +49,15 @@ pub fn apply_trmc<'a, 'i>(
 
     let env = &mut env;
 
-    for proc in procs.values_mut() {
+    // TODO temporary workaround for #7531, remove this cloning and sorting once that is fixed
+    let clone_procs = procs.clone();
+    let mut procs_key_value_list = clone_procs.iter().collect::<std::vec::Vec<_>>();
+
+    procs_key_value_list.sort_by(|a, b| a.0 .0.cmp(&b.0 .0));
+
+    for (key, _) in procs_key_value_list {
+        let proc = procs.get_mut(key).unwrap();
+
         use self::SelfRecursive::*;
         if let SelfRecursive(id) = proc.is_self_recursive {
             let trmc_candidate_symbols = trmc_candidates(env.interner, proc);
diff --git a/crates/compiler/test_mono/generated/capture_void_layout_task.txt b/crates/compiler/test_mono/generated/capture_void_layout_task.txt
index be67ed8577..58667468ae 100644
--- a/crates/compiler/test_mono/generated/capture_void_layout_task.txt
+++ b/crates/compiler/test_mono/generated/capture_void_layout_task.txt
@@ -1,4 +1,4 @@
-procedure List.101 (#Derived_gen.8, #Derived_gen.9, #Derived_gen.10, #Derived_gen.11, #Derived_gen.12):
+procedure List.101 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16, #Derived_gen.17):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -11,8 +11,8 @@ procedure List.101 (#Derived_gen.8, #Derived_gen.9, #Derived_gen.10, #Derived_ge
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.8;
-    jump List.678 #Derived_gen.8 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12;
+    inc #Derived_gen.13;
+    jump List.678 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
diff --git a/crates/compiler/test_mono/generated/compose_recursive_lambda_set_productive_nullable_wrapped.txt b/crates/compiler/test_mono/generated/compose_recursive_lambda_set_productive_nullable_wrapped.txt
index 0e956ffaca..d005809bac 100644
--- a/crates/compiler/test_mono/generated/compose_recursive_lambda_set_productive_nullable_wrapped.txt
+++ b/crates/compiler/test_mono/generated/compose_recursive_lambda_set_productive_nullable_wrapped.txt
@@ -2,7 +2,7 @@ procedure Bool.2 ():
     let Bool.21 : Int1 = true;
     ret Bool.21;
 
-procedure List.101 (#Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8, #Derived_gen.9):
+procedure List.101 (#Derived_gen.7, #Derived_gen.8, #Derived_gen.9, #Derived_gen.10, #Derived_gen.11):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -15,8 +15,8 @@ procedure List.101 (#Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.5;
-    jump List.678 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7 #Derived_gen.8 #Derived_gen.9;
+    inc #Derived_gen.7;
+    jump List.678 #Derived_gen.7 #Derived_gen.8 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
@@ -47,7 +47,7 @@ procedure Str.3 (#Attr.2, #Attr.3):
 procedure Test.1 (Test.5):
     ret Test.5;
 
-procedure Test.11 (#Derived_gen.10, #Derived_gen.11):
+procedure Test.11 (#Derived_gen.5, #Derived_gen.6):
     joinpoint Test.27 Test.12 #Attr.12:
         let Test.34 : Int1 = UnionAtIndex (Id 2) (Index 1) #Attr.12;
         let Test.33 : [<rnw><null>, C *self Int1, C *self Int1] = UnionAtIndex (Id 2) (Index 0) #Attr.12;
@@ -87,7 +87,7 @@ procedure Test.11 (#Derived_gen.10, #Derived_gen.11):
             decref #Attr.12;
             jump #Derived_gen.14;
     in
-    jump Test.27 #Derived_gen.10 #Derived_gen.11;
+    jump Test.27 #Derived_gen.5 #Derived_gen.6;
 
 procedure Test.2 (Test.13):
     ret Test.13;
diff --git a/crates/compiler/test_mono/generated/dbg_in_expect.txt b/crates/compiler/test_mono/generated/dbg_in_expect.txt
index f9fc920fa7..306a8e488e 100644
--- a/crates/compiler/test_mono/generated/dbg_in_expect.txt
+++ b/crates/compiler/test_mono/generated/dbg_in_expect.txt
@@ -171,7 +171,7 @@ procedure Str.45 (Str.91, Str.92, Str.93):
         dec Str.342;
         ret Str.91;
 
-procedure Str.56 (#Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8):
+procedure Str.56 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3):
     joinpoint Str.250 Str.96 Str.97 Str.98 Str.99:
         inc Str.97;
         let Str.251 : [C {}, C {Str, Str}] = CallByName Str.38 Str.97 Str.98;
@@ -195,9 +195,9 @@ procedure Str.56 (#Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8
             dec Str.97;
             ret Str.255;
     in
-    inc #Derived_gen.7;
-    inc #Derived_gen.8;
-    jump Str.250 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7 #Derived_gen.8;
+    inc #Derived_gen.3;
+    inc #Derived_gen.2;
+    jump Str.250 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3;
 
 procedure Str.57 (Str.121, Str.122):
     let Str.123 : U64 = CallByName Str.36 Str.121;
@@ -207,7 +207,7 @@ procedure Str.57 (Str.121, Str.122):
     let Str.276 : [C , C U64] = CallByName Str.58 Str.121 Str.122 Str.277 Str.125;
     ret Str.276;
 
-procedure Str.58 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
+procedure Str.58 (#Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7):
     joinpoint Str.278 Str.126 Str.127 Str.128 Str.129:
         let Str.280 : Int1 = CallByName Num.23 Str.128 Str.129;
         if Str.280 then
@@ -227,9 +227,9 @@ procedure Str.58 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4
             let Str.279 : [C , C U64] = TagId(0) ;
             ret Str.279;
     in
-    inc #Derived_gen.1;
-    inc #Derived_gen.2;
-    jump Str.278 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
+    inc #Derived_gen.5;
+    inc #Derived_gen.4;
+    jump Str.278 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7;
 
 procedure Str.61 (Str.152, Str.153):
     let Str.309 : Int1 = CallByName Num.22 Str.152 Str.153;
diff --git a/crates/compiler/test_mono/generated/dbg_inside_string.txt b/crates/compiler/test_mono/generated/dbg_inside_string.txt
index 9e981af9d0..5dd628551a 100644
--- a/crates/compiler/test_mono/generated/dbg_inside_string.txt
+++ b/crates/compiler/test_mono/generated/dbg_inside_string.txt
@@ -167,7 +167,7 @@ procedure Str.45 (Str.91, Str.92, Str.93):
         dec Str.344;
         ret Str.91;
 
-procedure Str.56 (#Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8):
+procedure Str.56 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3):
     joinpoint Str.252 Str.96 Str.97 Str.98 Str.99:
         inc Str.97;
         let Str.253 : [C {}, C {Str, Str}] = CallByName Str.38 Str.97 Str.98;
@@ -191,9 +191,9 @@ procedure Str.56 (#Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8
             dec Str.97;
             ret Str.257;
     in
-    inc #Derived_gen.7;
-    inc #Derived_gen.8;
-    jump Str.252 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7 #Derived_gen.8;
+    inc #Derived_gen.3;
+    inc #Derived_gen.2;
+    jump Str.252 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3;
 
 procedure Str.57 (Str.121, Str.122):
     let Str.123 : U64 = CallByName Str.36 Str.121;
@@ -203,7 +203,7 @@ procedure Str.57 (Str.121, Str.122):
     let Str.278 : [C , C U64] = CallByName Str.58 Str.121 Str.122 Str.279 Str.125;
     ret Str.278;
 
-procedure Str.58 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
+procedure Str.58 (#Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7):
     joinpoint Str.280 Str.126 Str.127 Str.128 Str.129:
         let Str.282 : Int1 = CallByName Num.23 Str.128 Str.129;
         if Str.282 then
@@ -223,9 +223,9 @@ procedure Str.58 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4
             let Str.281 : [C , C U64] = TagId(0) ;
             ret Str.281;
     in
-    inc #Derived_gen.1;
-    inc #Derived_gen.2;
-    jump Str.280 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
+    inc #Derived_gen.5;
+    inc #Derived_gen.4;
+    jump Str.280 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7;
 
 procedure Str.61 (Str.152, Str.153):
     let Str.311 : Int1 = CallByName Num.22 Str.152 Str.153;
diff --git a/crates/compiler/test_mono/generated/dbg_str_followed_by_number.txt b/crates/compiler/test_mono/generated/dbg_str_followed_by_number.txt
index 9b4aa7a5cc..9c452c03c1 100644
--- a/crates/compiler/test_mono/generated/dbg_str_followed_by_number.txt
+++ b/crates/compiler/test_mono/generated/dbg_str_followed_by_number.txt
@@ -167,7 +167,7 @@ procedure Str.45 (Str.91, Str.92, Str.93):
         dec Str.342;
         ret Str.91;
 
-procedure Str.56 (#Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8):
+procedure Str.56 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3):
     joinpoint Str.250 Str.96 Str.97 Str.98 Str.99:
         inc Str.97;
         let Str.251 : [C {}, C {Str, Str}] = CallByName Str.38 Str.97 Str.98;
@@ -191,9 +191,9 @@ procedure Str.56 (#Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8
             dec Str.97;
             ret Str.255;
     in
-    inc #Derived_gen.7;
-    inc #Derived_gen.8;
-    jump Str.250 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7 #Derived_gen.8;
+    inc #Derived_gen.3;
+    inc #Derived_gen.2;
+    jump Str.250 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3;
 
 procedure Str.57 (Str.121, Str.122):
     let Str.123 : U64 = CallByName Str.36 Str.121;
@@ -203,7 +203,7 @@ procedure Str.57 (Str.121, Str.122):
     let Str.276 : [C , C U64] = CallByName Str.58 Str.121 Str.122 Str.277 Str.125;
     ret Str.276;
 
-procedure Str.58 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
+procedure Str.58 (#Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7):
     joinpoint Str.278 Str.126 Str.127 Str.128 Str.129:
         let Str.280 : Int1 = CallByName Num.23 Str.128 Str.129;
         if Str.280 then
@@ -223,9 +223,9 @@ procedure Str.58 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4
             let Str.279 : [C , C U64] = TagId(0) ;
             ret Str.279;
     in
-    inc #Derived_gen.1;
-    inc #Derived_gen.2;
-    jump Str.278 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
+    inc #Derived_gen.5;
+    inc #Derived_gen.4;
+    jump Str.278 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7;
 
 procedure Str.61 (Str.152, Str.153):
     let Str.309 : Int1 = CallByName Num.22 Str.152 Str.153;
diff --git a/crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt b/crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt
index eee404c564..d77783431f 100644
--- a/crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt
+++ b/crates/compiler/test_mono/generated/encode_derived_nested_record_string.txt
@@ -67,7 +67,7 @@ procedure Encode.26 (Encode.107, Encode.108):
     let Encode.110 : List U8 = CallByName Encode.24 Encode.111 Encode.112 Encode.108;
     ret Encode.110;
 
-procedure List.101 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30):
+procedure List.101 (#Derived_gen.35, #Derived_gen.36, #Derived_gen.37, #Derived_gen.38, #Derived_gen.39):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -81,10 +81,10 @@ procedure List.101 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.26;
-    jump List.678 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30;
+    inc #Derived_gen.35;
+    jump List.678 #Derived_gen.35 #Derived_gen.36 #Derived_gen.37 #Derived_gen.38 #Derived_gen.39;
 
-procedure List.101 (#Derived_gen.31, #Derived_gen.32, #Derived_gen.33, #Derived_gen.34, #Derived_gen.35):
+procedure List.101 (#Derived_gen.40, #Derived_gen.41, #Derived_gen.42, #Derived_gen.43, #Derived_gen.44):
     joinpoint List.704 List.175 List.176 List.177 List.178 List.179:
         let List.706 : Int1 = CallByName Num.22 List.178 List.179;
         if List.706 then
@@ -98,8 +98,8 @@ procedure List.101 (#Derived_gen.31, #Derived_gen.32, #Derived_gen.33, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.31;
-    jump List.704 #Derived_gen.31 #Derived_gen.32 #Derived_gen.33 #Derived_gen.34 #Derived_gen.35;
+    inc #Derived_gen.40;
+    jump List.704 #Derived_gen.40 #Derived_gen.41 #Derived_gen.42 #Derived_gen.43 #Derived_gen.44;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
diff --git a/crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt b/crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt
index 89317dea5e..0a70fd2910 100644
--- a/crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt
+++ b/crates/compiler/test_mono/generated/encode_derived_record_one_field_string.txt
@@ -39,7 +39,7 @@ procedure Encode.26 (Encode.107, Encode.108):
     let Encode.110 : List U8 = CallByName Encode.24 Encode.111 Encode.112 Encode.108;
     ret Encode.110;
 
-procedure List.101 (#Derived_gen.16, #Derived_gen.17, #Derived_gen.18, #Derived_gen.19, #Derived_gen.20):
+procedure List.101 (#Derived_gen.19, #Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -53,8 +53,8 @@ procedure List.101 (#Derived_gen.16, #Derived_gen.17, #Derived_gen.18, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.16;
-    jump List.678 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20;
+    inc #Derived_gen.19;
+    jump List.678 #Derived_gen.19 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
diff --git a/crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt b/crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt
index 4934cb386b..60a87631e0 100644
--- a/crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt
+++ b/crates/compiler/test_mono/generated/encode_derived_record_two_field_strings.txt
@@ -46,7 +46,7 @@ procedure Encode.26 (Encode.107, Encode.108):
     let Encode.110 : List U8 = CallByName Encode.24 Encode.111 Encode.112 Encode.108;
     ret Encode.110;
 
-procedure List.101 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24):
+procedure List.101 (#Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -60,8 +60,8 @@ procedure List.101 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.20;
-    jump List.678 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24;
+    inc #Derived_gen.23;
+    jump List.678 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
diff --git a/crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt b/crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt
index 6f14951fea..933ed9ec1d 100644
--- a/crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt
+++ b/crates/compiler/test_mono/generated/encode_derived_tag_one_field_string.txt
@@ -40,7 +40,7 @@ procedure Encode.26 (Encode.107, Encode.108):
     let Encode.110 : List U8 = CallByName Encode.24 Encode.111 Encode.112 Encode.108;
     ret Encode.110;
 
-procedure List.101 (#Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_gen.14):
+procedure List.101 (#Derived_gen.22, #Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -54,8 +54,8 @@ procedure List.101 (#Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.10;
-    jump List.678 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14;
+    inc #Derived_gen.22;
+    jump List.678 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26;
 
 procedure List.13 (#Attr.2, #Attr.3):
     let List.701 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
diff --git a/crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt b/crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt
index 5e331a1f00..6662990940 100644
--- a/crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt
+++ b/crates/compiler/test_mono/generated/encode_derived_tag_two_payloads_string.txt
@@ -43,7 +43,7 @@ procedure Encode.26 (Encode.107, Encode.108):
     let Encode.110 : List U8 = CallByName Encode.24 Encode.111 Encode.112 Encode.108;
     ret Encode.110;
 
-procedure List.101 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24):
+procedure List.101 (#Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -57,8 +57,8 @@ procedure List.101 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.20;
-    jump List.678 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24;
+    inc #Derived_gen.23;
+    jump List.678 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
 
 procedure List.13 (#Attr.2, #Attr.3):
     let List.701 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
diff --git a/crates/compiler/test_mono/generated/inspect_derived_dict.txt b/crates/compiler/test_mono/generated/inspect_derived_dict.txt
index 79a2a27fd8..67f7d62bb5 100644
--- a/crates/compiler/test_mono/generated/inspect_derived_dict.txt
+++ b/crates/compiler/test_mono/generated/inspect_derived_dict.txt
@@ -149,7 +149,7 @@ procedure Dict.43 (Dict.126):
     let Dict.1102 : {List {U32, U32}, List {Str, I64}, U64, Float32, U8} = CallByName Inspect.30 Dict.126;
     ret Dict.1102;
 
-procedure Dict.45 (#Derived_gen.39, #Derived_gen.40, #Derived_gen.41, #Derived_gen.42, #Derived_gen.43, #Derived_gen.44, #Derived_gen.45, #Derived_gen.46, #Derived_gen.47):
+procedure Dict.45 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8):
     joinpoint Dict.745 Dict.228 Dict.229 Dict.230 Dict.231 Dict.232 Dict.233 Dict.234 Dict.235 Dict.236:
         let Dict.237 : {U32, U32} = CallByName Dict.22 Dict.228 Dict.230;
         let Dict.792 : U32 = StructAtIndex 1 Dict.237;
@@ -192,8 +192,8 @@ procedure Dict.45 (#Derived_gen.39, #Derived_gen.40, #Derived_gen.41, #Derived_g
                 let Dict.246 : U32 = CallByName Dict.55 Dict.231;
                 jump Dict.745 Dict.228 Dict.229 Dict.245 Dict.246 Dict.232 Dict.233 Dict.234 Dict.235 Dict.236;
     in
-    inc #Derived_gen.43;
-    jump Dict.745 #Derived_gen.39 #Derived_gen.40 #Derived_gen.41 #Derived_gen.42 #Derived_gen.43 #Derived_gen.44 #Derived_gen.45 #Derived_gen.46 #Derived_gen.47;
+    inc #Derived_gen.4;
+    jump Dict.745 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7 #Derived_gen.8;
 
 procedure Dict.48 ():
     let Dict.869 : U32 = 0i64;
@@ -308,7 +308,7 @@ procedure Dict.72 (Dict.413, Dict.414, Dict.415):
     let Dict.855 : {U64, U32} = CallByName Dict.73 Dict.413 Dict.418 Dict.417;
     ret Dict.855;
 
-procedure Dict.73 (#Derived_gen.15, #Derived_gen.16, #Derived_gen.17):
+procedure Dict.73 (#Derived_gen.18, #Derived_gen.19, #Derived_gen.20):
     joinpoint Dict.856 Dict.419 Dict.420 Dict.421:
         let Dict.422 : {U32, U32} = CallByName Dict.22 Dict.419 Dict.420;
         let Dict.863 : U32 = StructAtIndex 1 Dict.422;
@@ -323,10 +323,10 @@ procedure Dict.73 (#Derived_gen.15, #Derived_gen.16, #Derived_gen.17):
             let Dict.857 : {U64, U32} = Struct {Dict.420, Dict.421};
             ret Dict.857;
     in
-    inc #Derived_gen.15;
-    jump Dict.856 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17;
+    inc #Derived_gen.18;
+    jump Dict.856 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20;
 
-procedure Dict.74 (#Derived_gen.48, #Derived_gen.49, #Derived_gen.50):
+procedure Dict.74 (#Derived_gen.21, #Derived_gen.22, #Derived_gen.23):
     joinpoint Dict.762 Dict.423 Dict.424 Dict.425:
         let Dict.426 : {U32, U32} = CallByName Dict.22 Dict.423 Dict.425;
         let Dict.772 : U32 = StructAtIndex 1 Dict.426;
@@ -345,7 +345,7 @@ procedure Dict.74 (#Derived_gen.48, #Derived_gen.49, #Derived_gen.50):
             let Dict.763 : List {U32, U32} = CallByName List.3 Dict.423 Dict.425 Dict.424;
             ret Dict.763;
     in
-    jump Dict.762 #Derived_gen.48 #Derived_gen.49 #Derived_gen.50;
+    jump Dict.762 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23;
 
 procedure Dict.75 (Dict.428, Dict.429):
     let Dict.758 : U64 = 1i64;
@@ -525,7 +525,7 @@ procedure Dict.89 (Dict.711, Dict.489):
             let Dict.926 : {U64, U64, U64} = CallByName Dict.90 Dict.487 Dict.487 Dict.487 Dict.489 Dict.928 Dict.490;
             jump Dict.927 Dict.926;
 
-procedure Dict.90 (#Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8, #Derived_gen.9):
+procedure Dict.90 (#Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29):
     joinpoint Dict.929 Dict.495 Dict.496 Dict.497 Dict.498 Dict.499 Dict.500:
         let Dict.1036 : U64 = CallByName Dict.98 Dict.498 Dict.499;
         let Dict.1037 : U64 = CallByName Dict.93;
@@ -587,10 +587,10 @@ procedure Dict.90 (#Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.
                 let Dict.930 : {U64, U64, U64} = Struct {Dict.931, Dict.932, Dict.507};
                 ret Dict.930;
     in
-    inc #Derived_gen.7;
-    jump Dict.929 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7 #Derived_gen.8 #Derived_gen.9;
+    inc #Derived_gen.27;
+    jump Dict.929 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29;
 
-procedure Dict.91 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3):
+procedure Dict.91 (#Derived_gen.30, #Derived_gen.31, #Derived_gen.32, #Derived_gen.33):
     joinpoint Dict.982 Dict.508 Dict.509 Dict.510 Dict.511:
         let Dict.1002 : U64 = CallByName Dict.98 Dict.509 Dict.510;
         let Dict.1003 : U64 = CallByName Dict.93;
@@ -621,8 +621,8 @@ procedure Dict.91 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.
         else
             jump Dict.982 Dict.512 Dict.509 Dict.514 Dict.513;
     in
-    inc #Derived_gen.1;
-    jump Dict.982 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3;
+    inc #Derived_gen.31;
+    jump Dict.982 #Derived_gen.30 #Derived_gen.31 #Derived_gen.32 #Derived_gen.33;
 
 procedure Dict.92 ():
     let Dict.919 : U64 = 11562461410679940143i64;
@@ -898,7 +898,7 @@ procedure Inspect.63 (Inspect.295, Inspect.291):
 procedure Inspect.64 (Inspect.297):
     ret Inspect.297;
 
-procedure List.101 (#Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_gen.14):
+procedure List.101 (#Derived_gen.37, #Derived_gen.38, #Derived_gen.39, #Derived_gen.40, #Derived_gen.41):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -912,10 +912,10 @@ procedure List.101 (#Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.10;
-    jump List.678 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14;
+    inc #Derived_gen.37;
+    jump List.678 #Derived_gen.37 #Derived_gen.38 #Derived_gen.39 #Derived_gen.40 #Derived_gen.41;
 
-procedure List.101 (#Derived_gen.51, #Derived_gen.52, #Derived_gen.53, #Derived_gen.54, #Derived_gen.55):
+procedure List.101 (#Derived_gen.42, #Derived_gen.43, #Derived_gen.44, #Derived_gen.45, #Derived_gen.46):
     joinpoint List.742 List.175 List.176 List.177 List.178 List.179:
         let List.744 : Int1 = CallByName Num.22 List.178 List.179;
         if List.744 then
@@ -929,10 +929,10 @@ procedure List.101 (#Derived_gen.51, #Derived_gen.52, #Derived_gen.53, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.51;
-    jump List.742 #Derived_gen.51 #Derived_gen.52 #Derived_gen.53 #Derived_gen.54 #Derived_gen.55;
+    inc #Derived_gen.42;
+    jump List.742 #Derived_gen.42 #Derived_gen.43 #Derived_gen.44 #Derived_gen.45 #Derived_gen.46;
 
-procedure List.102 (#Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
+procedure List.102 (#Derived_gen.47, #Derived_gen.48, #Derived_gen.49, #Derived_gen.50, #Derived_gen.51):
     joinpoint List.717 List.184 List.185 List.186 List.187 List.188:
         let List.719 : Int1 = CallByName Num.22 List.187 List.188;
         if List.719 then
@@ -946,8 +946,8 @@ procedure List.102 (#Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_
             dec List.184;
             ret List.185;
     in
-    inc #Derived_gen.23;
-    jump List.717 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
+    inc #Derived_gen.47;
+    jump List.717 #Derived_gen.47 #Derived_gen.48 #Derived_gen.49 #Derived_gen.50 #Derived_gen.51;
 
 procedure List.11 (List.150, List.151):
     let List.737 : List {U32, U32} = CallByName List.68 List.151;
@@ -1050,7 +1050,7 @@ procedure List.83 (List.181, List.182, List.183):
     let List.714 : List {U32, U32} = CallByName List.102 List.181 List.182 List.183 List.715 List.716;
     ret List.714;
 
-procedure List.99 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22):
+procedure List.99 (#Derived_gen.34, #Derived_gen.35, #Derived_gen.36):
     joinpoint List.726 List.152 List.153 List.154:
         let List.734 : U64 = 0i64;
         let List.728 : Int1 = CallByName Num.24 List.153 List.734;
@@ -1062,7 +1062,7 @@ procedure List.99 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22):
         else
             ret List.154;
     in
-    jump List.726 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22;
+    jump List.726 #Derived_gen.34 #Derived_gen.35 #Derived_gen.36;
 
 procedure Num.131 (#Attr.2):
     let Num.291 : U32 = lowlevel NumIntCast #Attr.2;
@@ -1275,7 +1275,7 @@ procedure Str.45 (Str.91, Str.92, Str.93):
         dec Str.345;
         ret Str.91;
 
-procedure Str.56 (#Derived_gen.56, #Derived_gen.57, #Derived_gen.58, #Derived_gen.59):
+procedure Str.56 (#Derived_gen.9, #Derived_gen.10, #Derived_gen.11, #Derived_gen.12):
     joinpoint Str.253 Str.96 Str.97 Str.98 Str.99:
         inc Str.97;
         let Str.254 : [C {}, C {Str, Str}] = CallByName Str.38 Str.97 Str.98;
@@ -1299,9 +1299,9 @@ procedure Str.56 (#Derived_gen.56, #Derived_gen.57, #Derived_gen.58, #Derived_ge
             dec Str.97;
             ret Str.258;
     in
-    inc #Derived_gen.58;
-    inc #Derived_gen.59;
-    jump Str.253 #Derived_gen.56 #Derived_gen.57 #Derived_gen.58 #Derived_gen.59;
+    inc #Derived_gen.12;
+    inc #Derived_gen.11;
+    jump Str.253 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12;
 
 procedure Str.57 (Str.121, Str.122):
     let Str.123 : U64 = CallByName Str.36 Str.121;
@@ -1311,7 +1311,7 @@ procedure Str.57 (Str.121, Str.122):
     let Str.279 : [C , C U64] = CallByName Str.58 Str.121 Str.122 Str.280 Str.125;
     ret Str.279;
 
-procedure Str.58 (#Derived_gen.33, #Derived_gen.34, #Derived_gen.35, #Derived_gen.36):
+procedure Str.58 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16):
     joinpoint Str.281 Str.126 Str.127 Str.128 Str.129:
         let Str.283 : Int1 = CallByName Num.23 Str.128 Str.129;
         if Str.283 then
@@ -1331,9 +1331,9 @@ procedure Str.58 (#Derived_gen.33, #Derived_gen.34, #Derived_gen.35, #Derived_ge
             let Str.282 : [C , C U64] = TagId(0) ;
             ret Str.282;
     in
-    inc #Derived_gen.34;
-    inc #Derived_gen.33;
-    jump Str.281 #Derived_gen.33 #Derived_gen.34 #Derived_gen.35 #Derived_gen.36;
+    inc #Derived_gen.14;
+    inc #Derived_gen.13;
+    jump Str.281 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16;
 
 procedure Str.61 (Str.152, Str.153):
     let Str.312 : Int1 = CallByName Num.22 Str.152 Str.153;
diff --git a/crates/compiler/test_mono/generated/inspect_derived_list.txt b/crates/compiler/test_mono/generated/inspect_derived_list.txt
index ae59a7e996..f5c7568eef 100644
--- a/crates/compiler/test_mono/generated/inspect_derived_list.txt
+++ b/crates/compiler/test_mono/generated/inspect_derived_list.txt
@@ -120,7 +120,7 @@ procedure Inspect.63 (Inspect.295, Inspect.291):
 procedure Inspect.64 (Inspect.297):
     ret Inspect.297;
 
-procedure List.101 (#Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_gen.14, #Derived_gen.15):
+procedure List.101 (#Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_gen.14):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -133,8 +133,8 @@ procedure List.101 (#Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.11;
-    jump List.678 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15;
+    inc #Derived_gen.10;
+    jump List.678 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
diff --git a/crates/compiler/test_mono/generated/inspect_derived_nested_record_string.txt b/crates/compiler/test_mono/generated/inspect_derived_nested_record_string.txt
index 2efeec2f88..d19ffd786e 100644
--- a/crates/compiler/test_mono/generated/inspect_derived_nested_record_string.txt
+++ b/crates/compiler/test_mono/generated/inspect_derived_nested_record_string.txt
@@ -231,7 +231,7 @@ procedure Inspect.63 (Inspect.295, Inspect.291):
 procedure Inspect.64 (Inspect.297):
     ret Inspect.297;
 
-procedure List.101 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24):
+procedure List.101 (#Derived_gen.33, #Derived_gen.34, #Derived_gen.35, #Derived_gen.36, #Derived_gen.37):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -245,10 +245,10 @@ procedure List.101 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.20;
-    jump List.678 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24;
+    inc #Derived_gen.33;
+    jump List.678 #Derived_gen.33 #Derived_gen.34 #Derived_gen.35 #Derived_gen.36 #Derived_gen.37;
 
-procedure List.101 (#Derived_gen.39, #Derived_gen.40, #Derived_gen.41, #Derived_gen.42, #Derived_gen.43):
+procedure List.101 (#Derived_gen.38, #Derived_gen.39, #Derived_gen.40, #Derived_gen.41, #Derived_gen.42):
     joinpoint List.690 List.175 List.176 List.177 List.178 List.179:
         let List.692 : Int1 = CallByName Num.22 List.178 List.179;
         if List.692 then
@@ -262,8 +262,8 @@ procedure List.101 (#Derived_gen.39, #Derived_gen.40, #Derived_gen.41, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.39;
-    jump List.690 #Derived_gen.39 #Derived_gen.40 #Derived_gen.41 #Derived_gen.42 #Derived_gen.43;
+    inc #Derived_gen.38;
+    jump List.690 #Derived_gen.38 #Derived_gen.39 #Derived_gen.40 #Derived_gen.41 #Derived_gen.42;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
@@ -389,7 +389,7 @@ procedure Str.45 (Str.91, Str.92, Str.93):
         dec Str.343;
         ret Str.91;
 
-procedure Str.56 (#Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30):
+procedure Str.56 (#Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
     joinpoint Str.251 Str.96 Str.97 Str.98 Str.99:
         inc Str.97;
         let Str.252 : [C {}, C {Str, Str}] = CallByName Str.38 Str.97 Str.98;
@@ -413,9 +413,9 @@ procedure Str.56 (#Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_ge
             dec Str.97;
             ret Str.256;
     in
-    inc #Derived_gen.29;
-    inc #Derived_gen.30;
-    jump Str.251 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30;
+    inc #Derived_gen.27;
+    inc #Derived_gen.26;
+    jump Str.251 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
 
 procedure Str.57 (Str.121, Str.122):
     let Str.123 : U64 = CallByName Str.36 Str.121;
@@ -425,7 +425,7 @@ procedure Str.57 (Str.121, Str.122):
     let Str.277 : [C , C U64] = CallByName Str.58 Str.121 Str.122 Str.278 Str.125;
     ret Str.277;
 
-procedure Str.58 (#Derived_gen.33, #Derived_gen.34, #Derived_gen.35, #Derived_gen.36):
+procedure Str.58 (#Derived_gen.28, #Derived_gen.29, #Derived_gen.30, #Derived_gen.31):
     joinpoint Str.279 Str.126 Str.127 Str.128 Str.129:
         let Str.281 : Int1 = CallByName Num.23 Str.128 Str.129;
         if Str.281 then
@@ -445,9 +445,9 @@ procedure Str.58 (#Derived_gen.33, #Derived_gen.34, #Derived_gen.35, #Derived_ge
             let Str.280 : [C , C U64] = TagId(0) ;
             ret Str.280;
     in
-    inc #Derived_gen.34;
-    inc #Derived_gen.33;
-    jump Str.279 #Derived_gen.33 #Derived_gen.34 #Derived_gen.35 #Derived_gen.36;
+    inc #Derived_gen.29;
+    inc #Derived_gen.28;
+    jump Str.279 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30 #Derived_gen.31;
 
 procedure Str.61 (Str.152, Str.153):
     let Str.310 : Int1 = CallByName Num.22 Str.152 Str.153;
diff --git a/crates/compiler/test_mono/generated/inspect_derived_record.txt b/crates/compiler/test_mono/generated/inspect_derived_record.txt
index b34371a27c..1dbf92ab60 100644
--- a/crates/compiler/test_mono/generated/inspect_derived_record.txt
+++ b/crates/compiler/test_mono/generated/inspect_derived_record.txt
@@ -150,7 +150,7 @@ procedure Inspect.63 (Inspect.295, Inspect.291):
 procedure Inspect.64 (Inspect.297):
     ret Inspect.297;
 
-procedure List.101 (#Derived_gen.18, #Derived_gen.19, #Derived_gen.20, #Derived_gen.21, #Derived_gen.22):
+procedure List.101 (#Derived_gen.16, #Derived_gen.17, #Derived_gen.18, #Derived_gen.19, #Derived_gen.20):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -164,8 +164,8 @@ procedure List.101 (#Derived_gen.18, #Derived_gen.19, #Derived_gen.20, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.18;
-    jump List.678 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22;
+    inc #Derived_gen.16;
+    jump List.678 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
diff --git a/crates/compiler/test_mono/generated/inspect_derived_record_one_field_string.txt b/crates/compiler/test_mono/generated/inspect_derived_record_one_field_string.txt
index eaf9b2d11a..7992c60091 100644
--- a/crates/compiler/test_mono/generated/inspect_derived_record_one_field_string.txt
+++ b/crates/compiler/test_mono/generated/inspect_derived_record_one_field_string.txt
@@ -156,7 +156,7 @@ procedure Inspect.63 (Inspect.295, Inspect.291):
 procedure Inspect.64 (Inspect.297):
     ret Inspect.297;
 
-procedure List.101 (#Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_gen.14):
+procedure List.101 (#Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24, #Derived_gen.25):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -170,8 +170,8 @@ procedure List.101 (#Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.10;
-    jump List.678 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14;
+    inc #Derived_gen.21;
+    jump List.678 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
@@ -283,7 +283,7 @@ procedure Str.45 (Str.91, Str.92, Str.93):
         dec Str.342;
         ret Str.91;
 
-procedure Str.56 (#Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
+procedure Str.56 (#Derived_gen.12, #Derived_gen.13, #Derived_gen.14, #Derived_gen.15):
     joinpoint Str.250 Str.96 Str.97 Str.98 Str.99:
         inc Str.97;
         let Str.251 : [C {}, C {Str, Str}] = CallByName Str.38 Str.97 Str.98;
@@ -307,9 +307,9 @@ procedure Str.56 (#Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_ge
             dec Str.97;
             ret Str.255;
     in
-    inc #Derived_gen.27;
-    inc #Derived_gen.26;
-    jump Str.250 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
+    inc #Derived_gen.14;
+    inc #Derived_gen.15;
+    jump Str.250 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15;
 
 procedure Str.57 (Str.121, Str.122):
     let Str.123 : U64 = CallByName Str.36 Str.121;
@@ -319,7 +319,7 @@ procedure Str.57 (Str.121, Str.122):
     let Str.276 : [C , C U64] = CallByName Str.58 Str.121 Str.122 Str.277 Str.125;
     ret Str.276;
 
-procedure Str.58 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23):
+procedure Str.58 (#Derived_gen.16, #Derived_gen.17, #Derived_gen.18, #Derived_gen.19):
     joinpoint Str.278 Str.126 Str.127 Str.128 Str.129:
         let Str.280 : Int1 = CallByName Num.23 Str.128 Str.129;
         if Str.280 then
@@ -339,9 +339,9 @@ procedure Str.58 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_ge
             let Str.279 : [C , C U64] = TagId(0) ;
             ret Str.279;
     in
-    inc #Derived_gen.20;
-    inc #Derived_gen.21;
-    jump Str.278 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23;
+    inc #Derived_gen.17;
+    inc #Derived_gen.16;
+    jump Str.278 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19;
 
 procedure Str.61 (Str.152, Str.153):
     let Str.309 : Int1 = CallByName Num.22 Str.152 Str.153;
diff --git a/crates/compiler/test_mono/generated/inspect_derived_record_two_field_strings.txt b/crates/compiler/test_mono/generated/inspect_derived_record_two_field_strings.txt
index 116dff54d1..3d1f544b00 100644
--- a/crates/compiler/test_mono/generated/inspect_derived_record_two_field_strings.txt
+++ b/crates/compiler/test_mono/generated/inspect_derived_record_two_field_strings.txt
@@ -163,7 +163,7 @@ procedure Inspect.63 (Inspect.295, Inspect.291):
 procedure Inspect.64 (Inspect.297):
     ret Inspect.297;
 
-procedure List.101 (#Derived_gen.14, #Derived_gen.15, #Derived_gen.16, #Derived_gen.17, #Derived_gen.18):
+procedure List.101 (#Derived_gen.25, #Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -177,8 +177,8 @@ procedure List.101 (#Derived_gen.14, #Derived_gen.15, #Derived_gen.16, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.14;
-    jump List.678 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18;
+    inc #Derived_gen.25;
+    jump List.678 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
@@ -290,7 +290,7 @@ procedure Str.45 (Str.91, Str.92, Str.93):
         dec Str.386;
         ret Str.91;
 
-procedure Str.56 (#Derived_gen.28, #Derived_gen.29, #Derived_gen.30, #Derived_gen.31):
+procedure Str.56 (#Derived_gen.16, #Derived_gen.17, #Derived_gen.18, #Derived_gen.19):
     joinpoint Str.250 Str.96 Str.97 Str.98 Str.99:
         inc Str.97;
         let Str.251 : [C {}, C {Str, Str}] = CallByName Str.38 Str.97 Str.98;
@@ -314,9 +314,9 @@ procedure Str.56 (#Derived_gen.28, #Derived_gen.29, #Derived_gen.30, #Derived_ge
             dec Str.97;
             ret Str.255;
     in
-    inc #Derived_gen.30;
-    inc #Derived_gen.31;
-    jump Str.250 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30 #Derived_gen.31;
+    inc #Derived_gen.18;
+    inc #Derived_gen.19;
+    jump Str.250 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19;
 
 procedure Str.57 (Str.121, Str.122):
     let Str.123 : U64 = CallByName Str.36 Str.121;
@@ -326,7 +326,7 @@ procedure Str.57 (Str.121, Str.122):
     let Str.276 : [C , C U64] = CallByName Str.58 Str.121 Str.122 Str.277 Str.125;
     ret Str.276;
 
-procedure Str.58 (#Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
+procedure Str.58 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23):
     joinpoint Str.278 Str.126 Str.127 Str.128 Str.129:
         let Str.280 : Int1 = CallByName Num.23 Str.128 Str.129;
         if Str.280 then
@@ -346,9 +346,9 @@ procedure Str.58 (#Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_ge
             let Str.279 : [C , C U64] = TagId(0) ;
             ret Str.279;
     in
-    inc #Derived_gen.24;
-    inc #Derived_gen.25;
-    jump Str.278 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
+    inc #Derived_gen.20;
+    inc #Derived_gen.21;
+    jump Str.278 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23;
 
 procedure Str.61 (Str.152, Str.153):
     let Str.309 : Int1 = CallByName Num.22 Str.152 Str.153;
diff --git a/crates/compiler/test_mono/generated/inspect_derived_string.txt b/crates/compiler/test_mono/generated/inspect_derived_string.txt
index 5843b33dea..b7a5139fb4 100644
--- a/crates/compiler/test_mono/generated/inspect_derived_string.txt
+++ b/crates/compiler/test_mono/generated/inspect_derived_string.txt
@@ -167,7 +167,7 @@ procedure Str.45 (Str.91, Str.92, Str.93):
         dec Str.342;
         ret Str.91;
 
-procedure Str.56 (#Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8):
+procedure Str.56 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3):
     joinpoint Str.250 Str.96 Str.97 Str.98 Str.99:
         inc Str.97;
         let Str.251 : [C {}, C {Str, Str}] = CallByName Str.38 Str.97 Str.98;
@@ -191,9 +191,9 @@ procedure Str.56 (#Derived_gen.5, #Derived_gen.6, #Derived_gen.7, #Derived_gen.8
             dec Str.97;
             ret Str.255;
     in
-    inc #Derived_gen.7;
-    inc #Derived_gen.8;
-    jump Str.250 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7 #Derived_gen.8;
+    inc #Derived_gen.3;
+    inc #Derived_gen.2;
+    jump Str.250 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3;
 
 procedure Str.57 (Str.121, Str.122):
     let Str.123 : U64 = CallByName Str.36 Str.121;
@@ -203,7 +203,7 @@ procedure Str.57 (Str.121, Str.122):
     let Str.276 : [C , C U64] = CallByName Str.58 Str.121 Str.122 Str.277 Str.125;
     ret Str.276;
 
-procedure Str.58 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
+procedure Str.58 (#Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7):
     joinpoint Str.278 Str.126 Str.127 Str.128 Str.129:
         let Str.280 : Int1 = CallByName Num.23 Str.128 Str.129;
         if Str.280 then
@@ -223,9 +223,9 @@ procedure Str.58 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4
             let Str.279 : [C , C U64] = TagId(0) ;
             ret Str.279;
     in
-    inc #Derived_gen.1;
-    inc #Derived_gen.2;
-    jump Str.278 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
+    inc #Derived_gen.5;
+    inc #Derived_gen.4;
+    jump Str.278 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7;
 
 procedure Str.61 (Str.152, Str.153):
     let Str.309 : Int1 = CallByName Num.22 Str.152 Str.153;
diff --git a/crates/compiler/test_mono/generated/inspect_derived_tag_one_field_string.txt b/crates/compiler/test_mono/generated/inspect_derived_tag_one_field_string.txt
index aad5f5c6ef..08d660709a 100644
--- a/crates/compiler/test_mono/generated/inspect_derived_tag_one_field_string.txt
+++ b/crates/compiler/test_mono/generated/inspect_derived_tag_one_field_string.txt
@@ -162,7 +162,7 @@ procedure List.1 (List.119):
     let List.687 : Int1 = CallByName Bool.9 List.688 List.689;
     ret List.687;
 
-procedure List.101 (#Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_gen.14, #Derived_gen.15):
+procedure List.101 (#Derived_gen.21, #Derived_gen.22, #Derived_gen.23, #Derived_gen.24, #Derived_gen.25):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -177,8 +177,8 @@ procedure List.101 (#Derived_gen.11, #Derived_gen.12, #Derived_gen.13, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.11;
-    jump List.678 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15;
+    inc #Derived_gen.21;
+    jump List.678 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
@@ -290,7 +290,7 @@ procedure Str.45 (Str.91, Str.92, Str.93):
         dec Str.342;
         ret Str.91;
 
-procedure Str.56 (#Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_gen.27):
+procedure Str.56 (#Derived_gen.12, #Derived_gen.13, #Derived_gen.14, #Derived_gen.15):
     joinpoint Str.250 Str.96 Str.97 Str.98 Str.99:
         inc Str.97;
         let Str.251 : [C {}, C {Str, Str}] = CallByName Str.38 Str.97 Str.98;
@@ -314,9 +314,9 @@ procedure Str.56 (#Derived_gen.24, #Derived_gen.25, #Derived_gen.26, #Derived_ge
             dec Str.97;
             ret Str.255;
     in
-    inc #Derived_gen.27;
-    inc #Derived_gen.26;
-    jump Str.250 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26 #Derived_gen.27;
+    inc #Derived_gen.14;
+    inc #Derived_gen.15;
+    jump Str.250 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15;
 
 procedure Str.57 (Str.121, Str.122):
     let Str.123 : U64 = CallByName Str.36 Str.121;
@@ -326,7 +326,7 @@ procedure Str.57 (Str.121, Str.122):
     let Str.276 : [C , C U64] = CallByName Str.58 Str.121 Str.122 Str.277 Str.125;
     ret Str.276;
 
-procedure Str.58 (#Derived_gen.18, #Derived_gen.19, #Derived_gen.20, #Derived_gen.21):
+procedure Str.58 (#Derived_gen.16, #Derived_gen.17, #Derived_gen.18, #Derived_gen.19):
     joinpoint Str.278 Str.126 Str.127 Str.128 Str.129:
         let Str.280 : Int1 = CallByName Num.23 Str.128 Str.129;
         if Str.280 then
@@ -346,9 +346,9 @@ procedure Str.58 (#Derived_gen.18, #Derived_gen.19, #Derived_gen.20, #Derived_ge
             let Str.279 : [C , C U64] = TagId(0) ;
             ret Str.279;
     in
-    inc #Derived_gen.18;
-    inc #Derived_gen.19;
-    jump Str.278 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20 #Derived_gen.21;
+    inc #Derived_gen.17;
+    inc #Derived_gen.16;
+    jump Str.278 #Derived_gen.16 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19;
 
 procedure Str.61 (Str.152, Str.153):
     let Str.309 : Int1 = CallByName Num.22 Str.152 Str.153;
diff --git a/crates/compiler/test_mono/generated/inspect_derived_tag_two_payloads_string.txt b/crates/compiler/test_mono/generated/inspect_derived_tag_two_payloads_string.txt
index 582da97703..91c5834598 100644
--- a/crates/compiler/test_mono/generated/inspect_derived_tag_two_payloads_string.txt
+++ b/crates/compiler/test_mono/generated/inspect_derived_tag_two_payloads_string.txt
@@ -165,7 +165,7 @@ procedure List.1 (List.119):
     let List.687 : Int1 = CallByName Bool.9 List.688 List.689;
     ret List.687;
 
-procedure List.101 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30):
+procedure List.101 (#Derived_gen.22, #Derived_gen.23, #Derived_gen.24, #Derived_gen.25, #Derived_gen.26):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -180,8 +180,8 @@ procedure List.101 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.26;
-    jump List.678 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30;
+    inc #Derived_gen.22;
+    jump List.678 #Derived_gen.22 #Derived_gen.23 #Derived_gen.24 #Derived_gen.25 #Derived_gen.26;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.676 : U64 = 0i64;
@@ -293,7 +293,7 @@ procedure Str.45 (Str.91, Str.92, Str.93):
         dec Str.386;
         ret Str.91;
 
-procedure Str.56 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_gen.23):
+procedure Str.56 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16):
     joinpoint Str.250 Str.96 Str.97 Str.98 Str.99:
         inc Str.97;
         let Str.251 : [C {}, C {Str, Str}] = CallByName Str.38 Str.97 Str.98;
@@ -317,9 +317,9 @@ procedure Str.56 (#Derived_gen.20, #Derived_gen.21, #Derived_gen.22, #Derived_ge
             dec Str.97;
             ret Str.255;
     in
-    inc #Derived_gen.23;
-    inc #Derived_gen.22;
-    jump Str.250 #Derived_gen.20 #Derived_gen.21 #Derived_gen.22 #Derived_gen.23;
+    inc #Derived_gen.15;
+    inc #Derived_gen.16;
+    jump Str.250 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16;
 
 procedure Str.57 (Str.121, Str.122):
     let Str.123 : U64 = CallByName Str.36 Str.121;
@@ -329,7 +329,7 @@ procedure Str.57 (Str.121, Str.122):
     let Str.276 : [C , C U64] = CallByName Str.58 Str.121 Str.122 Str.277 Str.125;
     ret Str.276;
 
-procedure Str.58 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16):
+procedure Str.58 (#Derived_gen.17, #Derived_gen.18, #Derived_gen.19, #Derived_gen.20):
     joinpoint Str.278 Str.126 Str.127 Str.128 Str.129:
         let Str.280 : Int1 = CallByName Num.23 Str.128 Str.129;
         if Str.280 then
@@ -349,9 +349,9 @@ procedure Str.58 (#Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_ge
             let Str.279 : [C , C U64] = TagId(0) ;
             ret Str.279;
     in
-    inc #Derived_gen.14;
-    inc #Derived_gen.13;
-    jump Str.278 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16;
+    inc #Derived_gen.17;
+    inc #Derived_gen.18;
+    jump Str.278 #Derived_gen.17 #Derived_gen.18 #Derived_gen.19 #Derived_gen.20;
 
 procedure Str.61 (Str.152, Str.153):
     let Str.309 : Int1 = CallByName Num.22 Str.152 Str.153;
diff --git a/crates/compiler/test_mono/generated/issue_4770.txt b/crates/compiler/test_mono/generated/issue_4770.txt
index 3246ca7161..a81089b3b3 100644
--- a/crates/compiler/test_mono/generated/issue_4770.txt
+++ b/crates/compiler/test_mono/generated/issue_4770.txt
@@ -6,7 +6,7 @@ procedure Bool.2 ():
     let Bool.22 : Int1 = true;
     ret Bool.22;
 
-procedure List.106 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4, #Derived_gen.5, #Derived_gen.6):
+procedure List.106 (#Derived_gen.6, #Derived_gen.7, #Derived_gen.8, #Derived_gen.9, #Derived_gen.10, #Derived_gen.11):
     joinpoint List.713 List.291 List.292 List.293 List.294 List.295 List.296:
         let List.715 : Int1 = CallByName Num.22 List.295 List.296;
         if List.715 then
@@ -24,9 +24,9 @@ procedure List.106 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen
             dec List.292;
             ret List.293;
     in
-    inc #Derived_gen.1;
-    inc #Derived_gen.2;
-    jump List.713 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6;
+    inc #Derived_gen.6;
+    inc #Derived_gen.7;
+    jump List.713 #Derived_gen.6 #Derived_gen.7 #Derived_gen.8 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11;
 
 procedure List.116 (List.563, List.564, List.565):
     let List.689 : U64 = 0i64;
@@ -91,7 +91,7 @@ procedure List.71 (#Attr.2, #Attr.3):
     let List.720 : List {[<r>C I64, C List *self], [<r>C I64, C List *self]} = lowlevel ListAppendUnsafe #Attr.2 #Attr.3;
     ret List.720;
 
-procedure List.80 (#Derived_gen.7, #Derived_gen.8, #Derived_gen.9, #Derived_gen.10, #Derived_gen.11):
+procedure List.80 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4, #Derived_gen.5):
     joinpoint List.691 List.566 List.567 List.568 List.569 List.570:
         let List.693 : Int1 = CallByName Num.22 List.569 List.570;
         if List.693 then
@@ -116,8 +116,8 @@ procedure List.80 (#Derived_gen.7, #Derived_gen.8, #Derived_gen.9, #Derived_gen.
             let List.692 : [C {}, C {}] = TagId(1) List.567;
             ret List.692;
     in
-    inc #Derived_gen.7;
-    jump List.691 #Derived_gen.7 #Derived_gen.8 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11;
+    inc #Derived_gen.1;
+    jump List.691 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5;
 
 procedure Num.148 (Num.226, Num.227):
     let Num.290 : Int1 = CallByName Num.22 Num.226 Num.227;
diff --git a/crates/compiler/test_mono/generated/list_map_closure_borrows.txt b/crates/compiler/test_mono/generated/list_map_closure_borrows.txt
index 223650051b..4da503bf4b 100644
--- a/crates/compiler/test_mono/generated/list_map_closure_borrows.txt
+++ b/crates/compiler/test_mono/generated/list_map_closure_borrows.txt
@@ -1,4 +1,4 @@
-procedure List.101 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7):
+procedure List.101 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
     joinpoint List.689 List.175 List.176 List.177 List.178 List.179:
         let List.691 : Int1 = CallByName Num.22 List.178 List.179;
         if List.691 then
@@ -13,8 +13,8 @@ procedure List.101 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5, #Derived_gen
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.3;
-    jump List.689 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7;
+    inc #Derived_gen.0;
+    jump List.689 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.687 : U64 = 0i64;
diff --git a/crates/compiler/test_mono/generated/list_map_closure_owns.txt b/crates/compiler/test_mono/generated/list_map_closure_owns.txt
index ce02924c29..14c83d6014 100644
--- a/crates/compiler/test_mono/generated/list_map_closure_owns.txt
+++ b/crates/compiler/test_mono/generated/list_map_closure_owns.txt
@@ -1,4 +1,4 @@
-procedure List.101 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5, #Derived_gen.6, #Derived_gen.7):
+procedure List.101 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
     joinpoint List.689 List.175 List.176 List.177 List.178 List.179:
         let List.691 : Int1 = CallByName Num.22 List.178 List.179;
         if List.691 then
@@ -12,8 +12,8 @@ procedure List.101 (#Derived_gen.3, #Derived_gen.4, #Derived_gen.5, #Derived_gen
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.3;
-    jump List.689 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5 #Derived_gen.6 #Derived_gen.7;
+    inc #Derived_gen.0;
+    jump List.689 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.687 : U64 = 0i64;
diff --git a/crates/compiler/test_mono/generated/recursive_function_and_union_with_inference_hole.txt b/crates/compiler/test_mono/generated/recursive_function_and_union_with_inference_hole.txt
index 7eb948ec2f..71447c05e3 100644
--- a/crates/compiler/test_mono/generated/recursive_function_and_union_with_inference_hole.txt
+++ b/crates/compiler/test_mono/generated/recursive_function_and_union_with_inference_hole.txt
@@ -1,4 +1,4 @@
-procedure List.101 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4):
+procedure List.101 (#Derived_gen.1, #Derived_gen.2, #Derived_gen.3, #Derived_gen.4, #Derived_gen.5):
     joinpoint List.681 List.175 List.176 List.177 List.178 List.179:
         let List.683 : Int1 = CallByName Num.22 List.178 List.179;
         if List.683 then
@@ -12,8 +12,8 @@ procedure List.101 (#Derived_gen.0, #Derived_gen.1, #Derived_gen.2, #Derived_gen
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.0;
-    jump List.681 #Derived_gen.0 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4;
+    inc #Derived_gen.1;
+    jump List.681 #Derived_gen.1 #Derived_gen.2 #Derived_gen.3 #Derived_gen.4 #Derived_gen.5;
 
 procedure List.18 (List.172, List.173, List.174):
     let List.679 : U64 = 0i64;
diff --git a/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_does_not_duplicate_identical_concrete_types.txt b/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_does_not_duplicate_identical_concrete_types.txt
index a5a47044cf..4efb48aa88 100644
--- a/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_does_not_duplicate_identical_concrete_types.txt
+++ b/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_does_not_duplicate_identical_concrete_types.txt
@@ -29,7 +29,7 @@ procedure Encode.26 (Encode.107, Encode.108):
     let Encode.110 : List U8 = CallByName Encode.24 Encode.111 Encode.112 Encode.108;
     ret Encode.110;
 
-procedure List.101 (#Derived_gen.12, #Derived_gen.13, #Derived_gen.14, #Derived_gen.15, #Derived_gen.16):
+procedure List.101 (#Derived_gen.9, #Derived_gen.10, #Derived_gen.11, #Derived_gen.12, #Derived_gen.13):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -43,8 +43,8 @@ procedure List.101 (#Derived_gen.12, #Derived_gen.13, #Derived_gen.14, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.12;
-    jump List.678 #Derived_gen.12 #Derived_gen.13 #Derived_gen.14 #Derived_gen.15 #Derived_gen.16;
+    inc #Derived_gen.9;
+    jump List.678 #Derived_gen.9 #Derived_gen.10 #Derived_gen.11 #Derived_gen.12 #Derived_gen.13;
 
 procedure List.13 (#Attr.2, #Attr.3):
     let List.701 : List Str = lowlevel ListPrepend #Attr.2 #Attr.3;
diff --git a/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_keeps_all_concrete_types_without_unification_of_unifiable.txt b/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_keeps_all_concrete_types_without_unification_of_unifiable.txt
index 7c20d9f9cc..1a71bcb7a7 100644
--- a/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_keeps_all_concrete_types_without_unification_of_unifiable.txt
+++ b/crates/compiler/test_mono/generated/unspecialized_lambda_set_unification_keeps_all_concrete_types_without_unification_of_unifiable.txt
@@ -87,7 +87,7 @@ procedure Encode.26 (Encode.107, Encode.108):
     let Encode.110 : List U8 = CallByName Encode.24 Encode.111 Encode.112 Encode.108;
     ret Encode.110;
 
-procedure List.101 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_gen.29, #Derived_gen.30):
+procedure List.101 (#Derived_gen.44, #Derived_gen.45, #Derived_gen.46, #Derived_gen.47, #Derived_gen.48):
     joinpoint List.678 List.175 List.176 List.177 List.178 List.179:
         let List.680 : Int1 = CallByName Num.22 List.178 List.179;
         if List.680 then
@@ -101,8 +101,8 @@ procedure List.101 (#Derived_gen.26, #Derived_gen.27, #Derived_gen.28, #Derived_
             dec List.175;
             ret List.176;
     in
-    inc #Derived_gen.26;
-    jump List.678 #Derived_gen.26 #Derived_gen.27 #Derived_gen.28 #Derived_gen.29 #Derived_gen.30;
+    inc #Derived_gen.44;
+    jump List.678 #Derived_gen.44 #Derived_gen.45 #Derived_gen.46 #Derived_gen.47 #Derived_gen.48;
 
 procedure List.101 (#Derived_gen.49, #Derived_gen.50, #Derived_gen.51, #Derived_gen.52, #Derived_gen.53):
     joinpoint List.705 List.175 List.176 List.177 List.178 List.179: