Abstraction-Aware Data Flow Traceability