Symbol: is_bitwise_subset