docs: private int stackEntryThatMustBeNonnegative(int seen) {
          switch (seen) {
          case Const.INVOKEINTERFACE:
              if ("java/util/List".equals(getClassConstantOperand())) {
                  return getStackEntryOfListCallThatMustBeNonnegative();
              }
              break;
          case Const.INVOKEVIRTUAL:
              if ("java/util/LinkedList".equals(getClassConstantOperand())
                      || "java/util/ArrayList".equals(getClassConstantOperand())) {
                  return getStackEntryOfListCallThatMustBeNonnegative();
              }
              break;
  
          case Const.IALOAD:
          case Const.AALOAD:
          case Const.SALOAD:
          case Const.CALOAD:
          case Const.BALOAD:
          case Const.LALOAD:
          case Const.DALOAD:
          case Const.FALOAD:
              return 0;
          case Const.IASTORE:
          case Const.AASTORE:
          case Const.SASTORE:
          case Const.CASTORE:
          case Const.BASTORE:
          case Const.LASTORE:
          case Const.DASTORE:
          case Const.FASTORE:
              return 1;
          }
          return -1;
      }