Function update_lhs_taint 

fn update_lhs_taint(
    hir: &Hir<'_>,
    lhs: &Expr<'_>,
    is_tainted: bool,
    tainted: &mut HashSet<VariableId>,
)