Function state_lhs_vars 

fn state_lhs_vars(
    hir: &Hir<'_>,
    lhs: &Expr<'_>,
    storage_aliases: &HashMap<VariableId, VariableId>,
) -> Vec<VariableId>