@Override
      public void visitInstruction(Instruction instruction, int offset, int nextOffset) {
        super.visitInstruction(instruction, offset, nextOffset);
        if (nextOffset != maybeDominator && (target == nextOffset || myReachedWithoutDominator.get(nextOffset))) {
          myReachedWithoutDominator.set(offset);
        }
      }
@Override
      public void visitInstruction(Instruction instruction, int offset, int nextOffset)