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