Function is_exit_call 

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

revert(...), selfdestruct(...), require(false, ...) or assert(false).