docs: public FrameType getFactAtPC(CFG cfg, int pc) throws DataflowAnalysisException {
          FrameType result = createFact();
          makeFactTop(result);
  
          for (Location l : cfg.locations()) {
              if (l.getHandle().getPosition() == pc) {
                  FrameType fact = getFactAtLocation(l);
                  if (isFactValid(fact)) {
                      mergeInto(fact, result);
                  }
              }
          }
          return result;
      }