box_derive: Tune the test

tests/various/box_derive.ys

@@ -35,6 +35,11 @@ endmodule
 EOF
 
 box_derive -naming_attr final_name top
+
+select -assert-mod-count 1 =aa1
+select -assert-mod-count 1 =aa2
+select -assert-mod-count 0 =aa3
+
 select -assert-mod-count 1 =bb1
 select -assert-mod-count 0 =bb2
 select -assert-mod-count 1 =bb3
@@ -43,5 +48,6 @@ 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
+# we are expecting the original aa, bb, cc modules
+# and 5 specializations generated by box_derive
 select -assert-mod-count 8 =A:whitebox