let callers kf = try let m = Callers.find kf in Kernel_function.Map.fold (fun key v acc -> (key, Stmt.Set.elements v) :: acc) m [] with Not_found -> []