diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
index 4aa4c42a1..ed801d05b 100644
--- a/Source/Core/Parser.cs
+++ b/Source/Core/Parser.cs
@@ -350,12 +350,12 @@ void Consts(out List<Declaration>/*!*/ ds) {
 		 }
 		 makeClone = true;
 		 
-		 foreach(var axiom in axioms) {
-		   ds.Add(axiom);
-		 }
 		 var constant = new Constant(y, x, u, ParentsClone, ChildrenComplete, kv, axioms);
 		 ds.Add(constant);
 		}
+		foreach(var axiom in axioms) {
+		 ds.Add(axiom);
+		}
 		
 	}