diff --git a/TypeSystem/flow-analysis/reachability_A01_t04.dart b/TypeSystem/flow-analysis/reachability_A08_t01.dart
similarity index 100%
rename from TypeSystem/flow-analysis/reachability_A01_t04.dart
rename to TypeSystem/flow-analysis/reachability_A08_t01.dart
diff --git a/TypeSystem/flow-analysis/reachability_A01_t06.dart b/TypeSystem/flow-analysis/reachability_A08_t02.dart
similarity index 100%
rename from TypeSystem/flow-analysis/reachability_A01_t06.dart
rename to TypeSystem/flow-analysis/reachability_A08_t02.dart
diff --git a/TypeSystem/flow-analysis/reachability_A01_t08.dart b/TypeSystem/flow-analysis/reachability_A08_t04.dart
similarity index 100%
rename from TypeSystem/flow-analysis/reachability_A01_t08.dart
rename to TypeSystem/flow-analysis/reachability_A08_t04.dart
diff --git a/TypeSystem/flow-analysis/reachability_A01_t10.dart b/TypeSystem/flow-analysis/reachability_A08_t05.dart
similarity index 100%
rename from TypeSystem/flow-analysis/reachability_A01_t10.dart
rename to TypeSystem/flow-analysis/reachability_A08_t05.dart
diff --git a/TypeSystem/flow-analysis/reachability_A01_t03.dart b/TypeSystem/flow-analysis/reachability_A09_t01.dart
similarity index 100%
rename from TypeSystem/flow-analysis/reachability_A01_t03.dart
rename to TypeSystem/flow-analysis/reachability_A09_t01.dart
diff --git a/TypeSystem/flow-analysis/reachability_A01_t05.dart b/TypeSystem/flow-analysis/reachability_A09_t02.dart
similarity index 100%
rename from TypeSystem/flow-analysis/reachability_A01_t05.dart
rename to TypeSystem/flow-analysis/reachability_A09_t02.dart
diff --git a/TypeSystem/flow-analysis/reachability_A01_t07.dart b/TypeSystem/flow-analysis/reachability_A09_t04.dart
similarity index 100%
rename from TypeSystem/flow-analysis/reachability_A01_t07.dart
rename to TypeSystem/flow-analysis/reachability_A09_t04.dart
diff --git a/TypeSystem/flow-analysis/reachability_A01_t09.dart b/TypeSystem/flow-analysis/reachability_A09_t05.dart
similarity index 100%
rename from TypeSystem/flow-analysis/reachability_A01_t09.dart
rename to TypeSystem/flow-analysis/reachability_A09_t05.dart