fn set_taint_entry( taint: &mut HashMap<VariableId, HashSet<VariableId>>, var_id: VariableId, sources: HashSet<VariableId>, )