Function set_lhs_taint 

fn set_lhs_taint(
    gcx: Gcx<'_>,
    lhs: &Expr<'_>,
    is_tainted: bool,
    tainted: &mut HashSet<VariableId>,
)