gistfile1.diff

diff --git k-core/src/main/java/org/kframework/backend/java/symbolic/KILtoBackendJavaKILTransformer.java k-core/src/main/java/org/kframework/backend/java/symbolic/KILtoBackendJavaKILTransformer.java
index 12ab701..28f9aca 100644
--- k-core/src/main/java/org/kframework/backend/java/symbolic/KILtoBackendJavaKILTransformer.java
+++ k-core/src/main/java/org/kframework/backend/java/symbolic/KILtoBackendJavaKILTransformer.java
@@ -537,11 +537,11 @@ public class KILtoBackendJavaKILTransformer extends CopyOnWriteTransformer {
         java.util.Map<CellLabel, Term> lhsOfReadCell = null;
         java.util.Map<CellLabel, Term> rhsOfWriteCell = null;
         if (ruleData.isCompiledForFastRewriting()) {
-            lhsOfReadCell = Maps.newHashMap();
+            lhsOfReadCell = Maps.newLinkedHashMap();
             for (java.util.Map.Entry<String, org.kframework.kil.Term> entry : ruleData.getLhsOfReadCell().entrySet()) {
                 lhsOfReadCell.put(CellLabel.of(entry.getKey()), (Term) this.visitNode(entry.getValue()));
             }
-            rhsOfWriteCell = Maps.newHashMap();
+            rhsOfWriteCell = Maps.newLinkedHashMap();
             for (java.util.Map.Entry<String, org.kframework.kil.Term> entry : ruleData.getRhsOfWriteCell().entrySet()) {
                 rhsOfWriteCell.put(CellLabel.of(entry.getKey()), (Term) this.visitNode(entry.getValue()));
             }
@@ -549,7 +549,7 @@ public class KILtoBackendJavaKILTransformer extends CopyOnWriteTransformer {
 
         java.util.Set<CellLabel> cellsToCopy = null;
         if (ruleData.getCellsToCopy() != null) {
-            cellsToCopy = Sets.newHashSet();
+            cellsToCopy = Sets.newLinkedHashSet();
             for (String cellLabelName : ruleData.getCellsToCopy()) {
                 cellsToCopy.add(CellLabel.of(cellLabelName));
             }