docs: private CachedExceptionSet computeBlockExceptionSet(BasicBlock basicBlock, TypeFrame result) throws DataflowAnalysisException {
  
          ExceptionSet exceptionSet = computeThrownExceptionTypes(basicBlock);
  
  
          TypeFrame copyOfResult = createFact();
          copy(result, copyOfResult);
  
          CachedExceptionSet cachedExceptionSet = new CachedExceptionSet(copyOfResult, exceptionSet);
          thrownExceptionSetMap.put(basicBlock, cachedExceptionSet);
  
          return cachedExceptionSet;
      }