What's the reason this is part of "Future Directions" and not part of this proposal? 
Implementation complexity? Majority of cases in practice (from ObjC) don't end up requiring flow-sensitive analysis? Something else?
2 Likes