docs: public int getInstanceStackLocation(Instruction ins, ConstantPoolGen cpg) throws DataflowAnalysisException {
          int numConsumed = ins.consumeStack(cpg);
          if (numConsumed == Const.UNPREDICTABLE) {
              throw new DataflowAnalysisException("Unpredictable stack consumption in " + ins);
          }
          return numConsumed - 1;
      }