Precise Data Flow Analysis in the Presence of Correlated Method Calls