fn simple_state_var_id(hir: &Hir<'_>, expr: &Expr<'_>) -> Option<VariableId>
Returns Some(id) if the expression is a bare state variable identifier (no indexing/member).
Some(id)