let merge_call_froms table callsite froms =
  try
    let current = InstrHashtbl.find table callsite in
    let new_froms = Function_Froms.join froms current in
    InstrHashtbl.replace table callsite new_froms
  with Not_found ->
    InstrHashtbl.add table callsite froms