Function collect_value_sources 

fn collect_value_sources(
    hir: &Hir<'_>,
    taint: &HashMap<VariableId, WriteSources>,
    expr: &Expr<'_>,
) -> WriteSources