Function is_unconditional_revert_call 

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

Matches revert()/revert("msg"), require(false[, "msg"]), and assert(false).