docs: public Map<ValueNumber, Integer> getValueNumberToParamMap(String methodSignature, boolean isStatic) {
          HashMap<ValueNumber, Integer> valueNumberToParamMap = new HashMap<>();
  
          ValueNumberFrame frameAtEntry = getStartFact(getCFG().getEntry());
  
          int numParams = new SignatureParser(methodSignature).getNumParameters();
          int shift = isStatic ? 0 : 1;
          for (int i = 0; i < numParams; ++i) {
              valueNumberToParamMap.put(frameAtEntry.getValue(i + shift), i);
          }
  
          return valueNumberToParamMap;
      }