pub fn dump_mir<F: CGFunction + Into<FuncId>, S: CGCallSite>(
    acx: &AnalysisContext<'_, '_>,
    call_graph: &CallGraph<F, S>,
    mir_path: &String
)