docs: public BitSet getAllDominatedBy(BasicBlock dominator) {
          BitSet allDominated = new BitSet();
          for (Iterator<BasicBlock> i = cfg.blockIterator(); i.hasNext();) {
              BasicBlock block = i.next();
              BitSet dominators = getResultFact(block);
              if (dominators.get(dominator.getLabel())) {
                  allDominated.set(block.getLabel());
              }
          }
          return allDominated;
      }