diff --git a/src/main/java/org/gecko/io/AutomatonFileSerializer.java b/src/main/java/org/gecko/io/AutomatonFileSerializer.java
index c44b2eb3..aba050fe 100644
--- a/src/main/java/org/gecko/io/AutomatonFileSerializer.java
+++ b/src/main/java/org/gecko/io/AutomatonFileSerializer.java
@@ -5,7 +5,6 @@
 import java.nio.file.Files;
 import java.util.ArrayList;
 import java.util.Collection;
-import java.util.Collections;
 import java.util.Comparator;
 import java.util.HashMap;
 import java.util.List;
@@ -117,7 +116,6 @@ private String serializeStateContracts(State state, Automaton automaton) {
         //Building the conditions for the priorities
         List<List<Edge>> groupedEdges =
             new ArrayList<>(edges.stream().collect(Collectors.groupingBy(Edge::getPriority)).values());
-        Collections.reverse(groupedEdges); //This just makes this easier to think about
         List<Condition> preConditionsByPrio = new ArrayList<>();
         for (List<Edge> edgeGroup : groupedEdges) {
             //OrElseThrow because validity needs to be ensured by model