TaintTrackingImpl.qll
Modelled after the correponding comment for `DataFlowImpl.qll`.
getDefinitionOverlap()