Function is_aborting_call 

fn is_aborting_call(expr: &Expr<'_>) -> bool

Returns true when the expression-statement is a builtin call that always terminates execution: revert() / revert("msg"), selfdestruct(...), require(false, ...), or assert(false).