Better behavior for redundant headers #4
Description
Some common headers will be automatically pulled into a project indirectly via other headers, for example errno. Yet, it is good form to explicitly include such headers when making direct use of their symbols.
The current deheader algorithm relies on accidents of indirect inclusion when deciding whether to include a header or not. But a more accurate algorithm would involve scanning for the use of exported symbols.