Function lvalue_is_state_var 

fn lvalue_is_state_var(hir: &Hir<'_>, expr: &Expr<'_>) -> bool

Returns true if the lvalue expression ultimately targets a storage variable. Peels through index, slice, member, and payable wrappers to find the root identifier. Locals declared storage are aliases into contract storage and count as state mutations.