Function is_address_builtin_member 

fn is_address_builtin_member(base: &Expr<'_>, member: Symbol) -> bool

msg.sender, tx.origin, block.coinbase.