fn is_revert_call(expr: &Expr<'_>) -> bool
revert(...), require(false, ...) and assert(false).
revert(...)
require(false, ...)
assert(false)