diff --git a/srcgen2/TEST/JS/test32_xatsopt.dats b/srcgen2/TEST/JS/test32_xatsopt.dats
index 6b0434d75..b3352a5d8 100644
--- a/srcgen2/TEST/JS/test32_xatsopt.dats
+++ b/srcgen2/TEST/JS/test32_xatsopt.dats
@@ -323,6 +323,22 @@
 "./../../DATS/tread23_errmsg.dats"
 (* ****** ****** *)
 #include
+"./../../DATS/trans3a.dats"
+#include
+"./../../DATS/trans3a_myenv0.dats"
+#include
+"./../../DATS/trans3a_dynexp.dats"
+#include
+"./../../DATS/trans3a_decl00.dats"
+(* ****** ****** *)
+#include
+"./../../DATS/tread33.dats"
+#include
+"./../../DATS/tread33_dynexp.dats"
+#include
+"./../../DATS/tread33_decl00.dats"
+(* ****** ****** *)
+#include
 "./../../DATS/xatsopt.dats"
 #include
 "./../../DATS/xatsopt_utils0.dats"
diff --git a/srcgen2/TEST/JS/test33_xatsopt.dats b/srcgen2/TEST/JS/test33_xatsopt.dats
index 0e5b6a743..22bdec644 100644
--- a/srcgen2/TEST/JS/test33_xatsopt.dats
+++ b/srcgen2/TEST/JS/test33_xatsopt.dats
@@ -323,6 +323,22 @@
 "./../../DATS/tread23_errmsg.dats"
 (* ****** ****** *)
 #include
+"./../../DATS/trans3a.dats"
+#include
+"./../../DATS/trans3a_myenv0.dats"
+#include
+"./../../DATS/trans3a_dynexp.dats"
+#include
+"./../../DATS/trans3a_decl00.dats"
+(* ****** ****** *)
+#include
+"./../../DATS/tread33.dats"
+#include
+"./../../DATS/tread33_dynexp.dats"
+#include
+"./../../DATS/tread33_decl00.dats"
+(* ****** ****** *)
+#include
 "./../../DATS/xatsopt.dats"
 #include
 "./../../DATS/xatsopt_utils0.dats"
diff --git a/srcgen2/TEST/JS/test34_xatsopt.dats b/srcgen2/TEST/JS/test34_xatsopt.dats
index fdc67788e..b4a6bd1f7 100644
--- a/srcgen2/TEST/JS/test34_xatsopt.dats
+++ b/srcgen2/TEST/JS/test34_xatsopt.dats
@@ -323,6 +323,22 @@
 "./../../DATS/tread23_errmsg.dats"
 (* ****** ****** *)
 #include
+"./../../DATS/trans3a.dats"
+#include
+"./../../DATS/trans3a_myenv0.dats"
+#include
+"./../../DATS/trans3a_dynexp.dats"
+#include
+"./../../DATS/trans3a_decl00.dats"
+(* ****** ****** *)
+#include
+"./../../DATS/tread33.dats"
+#include
+"./../../DATS/tread33_dynexp.dats"
+#include
+"./../../DATS/tread33_decl00.dats"
+(* ****** ****** *)
+#include
 "./../../DATS/xatsopt.dats"
 #include
 "./../../DATS/xatsopt_utils0.dats"
diff --git a/srcgen2/TEST/JS/test35_xatsopt.dats b/srcgen2/TEST/JS/test35_xatsopt.dats
index acd571ba6..457258e24 100644
--- a/srcgen2/TEST/JS/test35_xatsopt.dats
+++ b/srcgen2/TEST/JS/test35_xatsopt.dats
@@ -301,6 +301,8 @@
 "./../../DATS/dynexp3.dats"
 #include
 "./../../DATS/dynexp3_print0.dats"
+#include
+"./../../DATS/dynexp3_utils0.dats"
 (* ****** ****** *)
 #include
 "./../../DATS/trans23.dats"
@@ -323,6 +325,22 @@
 "./../../DATS/tread23_errmsg.dats"
 (* ****** ****** *)
 #include
+"./../../DATS/trans3a.dats"
+#include
+"./../../DATS/trans3a_myenv0.dats"
+#include
+"./../../DATS/trans3a_dynexp.dats"
+#include
+"./../../DATS/trans3a_decl00.dats"
+(* ****** ****** *)
+#include
+"./../../DATS/tread33.dats"
+#include
+"./../../DATS/tread33_dynexp.dats"
+#include
+"./../../DATS/tread33_decl00.dats"
+(* ****** ****** *)
+#include
 "./../../DATS/xatsopt.dats"
 #include
 "./../../DATS/xatsopt_utils0.dats"
diff --git a/srcgen2/TEST/JS/test36_xatsopt.dats b/srcgen2/TEST/JS/test36_xatsopt.dats
index a16d76fcb..1b75d624a 100644
--- a/srcgen2/TEST/JS/test36_xatsopt.dats
+++ b/srcgen2/TEST/JS/test36_xatsopt.dats
@@ -345,6 +345,8 @@
 #include
 "./../../DATS/tread33.dats"
 #include
+"./../../DATS/tread33_dynexp.dats"
+#include
 "./../../DATS/tread33_decl00.dats"
 (* ****** ****** *)
 #include