docs: protected int getPriorityFromTaintFrame(TaintFrame fact, int offset)
              throws DataflowAnalysisException {
          Taint parameterTaint = fact.getStackValue(offset);
          return getPriority(parameterTaint);
      }