Function update_multi_decl_taint 

fn update_multi_decl_taint(
    hir: &Hir<'_>,
    vars: &[Option<VariableId>],
    expr: &Expr<'_>,
    tainted: &mut HashSet<VariableId>,
)