Any objection to changing the term "minimal" to "maximal" for the notion of an analysis that labels the most functions as known. I guess we called it minimal because it labeled the fewest as unknown.