BBVectorize: Make the bookkeeping to support full cycle checking less expensive