Function is_revert_call 

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

revert(...), require(false, ...) and assert(false).