Function call_may_mutate_state 

fn call_may_mutate_state<'gcx>(gcx: Gcx<'gcx>, callee: &'gcx Expr<'gcx>) -> bool

Whether a call may write storage; array push/pop count since they change the length.