pub fn dump_func_contexts(
    acx: &AnalysisContext<'_, '_>,
    call_graph: &CSCallGraph,
    ctx_strategy: &impl ContextStrategy,
    func_ctxts_path: &String
)