fix inefficiency in roaring andNot