Function update_assignment_taint 

fn update_assignment_taint(
    hir: &Hir<'_>,
    lhs: &Expr<'_>,
    rhs: &Expr<'_>,
    tainted: &mut HashSet<VariableId>,
)