Function is_destructive_call 

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

x.delegatecall(..) or selfdestruct(..).