diff --git a/tests/various/box_derive.ys b/tests/various/box_derive.ys
index a76a79cdc1f..72db48e4fed 100644
--- a/tests/various/box_derive.ys
+++ b/tests/various/box_derive.ys
@@ -35,3 +35,13 @@ endmodule
 EOF
 
 box_derive -naming_attr final_name top
+select -assert-mod-count 1 =bb1
+select -assert-mod-count 0 =bb2
+select -assert-mod-count 1 =bb3
+
+select -assert-mod-count 1 =cc1
+select -assert-mod-count 0 =cc2
+select -assert-mod-count 0 =cc3
+
+# the original aa, bb, cc, and 5 specializations
+select -assert-mod-count 8 =A:whitebox