Function expr_sends_ether 

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

True if expr unambiguously moves ETH out of the contract: a non-zero {value: x} call option, .transfer/.send with a non-zero amount, low-level .delegatecall/.callcode (drainable via selfdestruct), or the selfdestruct builtin. Only literal 0 is treated as a zero amount, and sends targeting this contract’s own address are not exits.