void BlockState::stopTrackingLocation(llvm::BitVector &BV, unsigned i) { BV.reset(i); }
static void remove(llvm::BitVector &a, const llvm::BitVector &b) { assert(a.size() == b.size()); for (auto I : b.set_bits()) a.reset(I); }