diff --git a/src/example-archive/simple-examples/working/pred_2.c b/src/example-archive/simple-examples/working/pred_2.c
index aba7b5e..211cb49 100644
--- a/src/example-archive/simple-examples/working/pred_2.c
+++ b/src/example-archive/simple-examples/working/pred_2.c
@@ -31,12 +31,6 @@ void pred_2_var1(int *p)
 
 // Variant 2 - this works: 
 /*@ 
-predicate (i32) TestMemoryEqZero_2_var2(pointer p) {
-  take PVal = RW<int>(p); 
-  take rval = TestMemoryEqZero_2_Helper(p, PVal); 
-  return rval; 
-}
-
 predicate (i32) TestMemoryEqZero_2_Helper(pointer p, i32 x) {
   if (x == 0i32) {
     return 1i32; 
@@ -44,6 +38,13 @@ predicate (i32) TestMemoryEqZero_2_Helper(pointer p, i32 x) {
     return 0i32; 
   }
 }
+
+
+predicate (i32) TestMemoryEqZero_2_var2(pointer p) {
+  take PVal = RW<int>(p); 
+  take rval = TestMemoryEqZero_2_Helper(p, PVal); 
+  return rval; 
+}
 @*/
 
 void pred_2_var2(int *p)