> 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. Sounds fine to me.