docs: @Requires({
      "kind != null",
      "kind.isOld()",
      "list != null"
    })
    protected void allocateOldValues(ContractKind kind, List<Integer> list) {
      List<MethodContractHandle> olds =
          contracts.getMethodHandles(kind, methodName, methodDesc, 0);
      if (olds.isEmpty()) {
        return;
      }
  
      Integer[] locals = new Integer[olds.size()];
      for (MethodContractHandle h : olds) {
        int k = h.getKey();
        locals[k] = newLocal(Type.getReturnType(h.getContractMethod().desc));
        push((String) null);
        storeLocal(locals[k]);
      }
      list.addAll(Arrays.asList(locals));
    }