docs: private static Location pcToLocation(ClassContext classContext, Method method, int pc) throws CFGBuilderException {
          CFG cfg = classContext.getCFG(method);
          for (Iterator<Location> i = cfg.locationIterator(); i.hasNext();) {
              Location location = i.next();
              if (location.getHandle().getPosition() == pc) {
                  return location;
              }
          }
          return null;
      }