Symbol: bitset_is_null