let fold_call_nodes f acc pdg call = let _, call_pdg = PdgIndex.FctIndex.find_call (get_index pdg) call in let do_it acc (_k, n) = f acc n in PdgIndex.Signature.fold do_it acc call_pdg