Usecase for rename

juno_samples/fork_join_tests/src/cpu.sch

@@ -14,6 +14,7 @@ cpu(auto.test5);
 cpu(auto.test7);
 cpu(auto.test8);
 
+let test1_cpu = auto.test1;
 
 ip-sroa(*);
 sroa(*);
@@ -39,7 +40,10 @@ dce(*);
 fixpoint panic after 20 {
   infer-schedules(*);
 }
-fork-split(auto.test1);
+
+let out = fork-split(test1_cpu);
+let first_fork = out.test1_cpu.fj1;
+
 fixpoint panic after 20 {
   unroll(auto.test1);
 }