Global Data Flow: Control Flow Analysis

[JLLeitschuh]

Global Data Flow currently has no support for control flow analysis. We should add that back in.

[joanvr]

Thanks for your suggestion @JLLeitschuh, would you like this to be assigned to you? :)