diff --git a/src/example-archive/simple-examples/working/list_3.c b/src/example-archive/simple-examples/working/list_3.c
index 662b797..f6caead 100644
--- a/src/example-archive/simple-examples/working/list_3.c
+++ b/src/example-archive/simple-examples/working/list_3.c
@@ -7,7 +7,7 @@
 // must store this value. 
 
 /*@
-predicate (datatype seq) IntListSegVal(pointer p, pointer tail, i32 tval) {
+predicate [rec] (datatype seq) IntListSegVal(pointer p, pointer tail, i32 tval) {
   if (addr_eq(p,tail)) {
     return Seq_Nil{};
   } else {
diff --git a/src/example-archive/simple-examples/working/list_preds.h b/src/example-archive/simple-examples/working/list_preds.h
index 66b0ec0..7b0b4c2 100644
--- a/src/example-archive/simple-examples/working/list_preds.h
+++ b/src/example-archive/simple-examples/working/list_preds.h
@@ -24,7 +24,7 @@ datatype seq {
 // a pure sequence of values.
 
 /*@
-predicate (datatype seq) IntListSeg(pointer p, pointer tail) {
+predicate [rec] (datatype seq) IntListSeg(pointer p, pointer tail) {
   if (ptr_eq(p,tail)) {
     return Seq_Nil{};
   } else {
diff --git a/src/exercises/queue/headers.test.h b/src/exercises/queue/headers.test.h
index 3b1a4a7..cc336e1 100644
--- a/src/exercises/queue/headers.test.h
+++ b/src/exercises/queue/headers.test.h
@@ -5,8 +5,8 @@
 #include "../list/snoc.h"
 
 #include "./c_types.h"
-#include "./cn_types_1.test.h"
-#include "./cn_types_2.test.h"
 #include "./cn_types_3.test.h"
+#include "./cn_types_2.test.h"
+#include "./cn_types_1.test.h"
 
 #include "./allocation.test.h"
diff --git a/src/exercises/queue/headers.verif.h b/src/exercises/queue/headers.verif.h
index 333fc07..1d19ab3 100644
--- a/src/exercises/queue/headers.verif.h
+++ b/src/exercises/queue/headers.verif.h
@@ -5,8 +5,8 @@
 #include "../list/snoc.h"
 
 #include "./c_types.h"
-#include "./cn_types_1.verif.h"
-#include "./cn_types_2.verif.h"
 #include "./cn_types_3.verif.h"
+#include "./cn_types_2.verif.h"
+#include "./cn_types_1.verif.h"
 
 #include "./allocation.verif.h"