The Init.gmk (and, correspondingly, InitSupport.gmk) is really two files in one: First it is called without $(SPEC), and does the work needed to locate a SPEC (and sanity check arguments), and then it calls itself again with a SPEC value.

This is two completely different tasks, and there is no reason it should be put in the same file. It just makes the file longer and harder to read and understand.