Symbol: tipc_group_is_receiver