Function is_revert_call 

fn is_revert_call(callee: &Expr<'_>) -> bool

Checks if an expression is a call to the revert builtin function.