This includes a reaching-def analysis that can be used by diagnostic passes. Diagnostics should be flow-sensitive.