pub fn dump_results<P: PAGPath, F, S>(
    acx: &AnalysisContext<'_, '_>,
    call_graph: &CallGraph<F, S>,
    pt_data: &DiffPTDataTy,
    pag: &PAG<P>
)