Function collect_taint_sources 

fn collect_taint_sources(
    taint: &HashMap<VariableId, HashSet<VariableId>>,
    expr: &Expr<'_>,
    out: &mut HashSet<VariableId>,
)