Fixing bitvset is_disjoint, fixes #16587