Function writes_state 

fn writes_state(gcx: Gcx<'_>, expr: &Expr<'_>) -> bool

An assignment, delete, ++/-- or push/pop whose target lives in contract storage.