fn collect_state_lhs_vars( hir: &Hir<'_>, expression: &Expr<'_>, storage_aliases: &HashMap<VariableId, HashSet<VariableId>>, call_returns: &HashMap<ExprId, Vec<HashSet<VariableId>>>, variables: &mut HashSet<VariableId>, )