Global Data Flow: Support Polymorphism

[JLLeitschuh]

Currently, global data flow finds methods with exact comparisons of JavaType.Method we need to support data flow into polymorphic method calls.

[joanvr]

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