docs: public int getNumWordsProduced(Instruction ins) {
  
          int numWordsProduced = ins.produceStack(cpg);
          if (numWordsProduced == Const.UNPREDICTABLE) {
              throw new InvalidBytecodeException("Unpredictable stack productions");
          }
          return numWordsProduced;
      }