fn lhs_writes_state(gcx: Gcx<'_>, lhs: &Expr<'_>) -> bool
A state variable, or a member/index of an expression that denotes contract storage.