OK, I think I see the solution. In ordinary CL I can read the vanilla Makefile, find the line with the list of files, and compare that against what's in the .asd file. That seems to be the intent of this test.