docs: @Requires({
      "kind != null",
      "kind.isOld()",
      "list != null"
    })
    protected void invokeOldValues(ContractKind kind, List<Integer> list) {
      List<MethodContractHandle> olds =
          contracts.getMethodHandles(kind, methodName, methodDesc, 0);
      if (olds.isEmpty()) {
        return;
      }
  
      for (MethodContractHandle h : olds) {
        MethodNode contractMethod = injectContractMethod(h);
        int k = h.getKey();
  
        if (!statik) {
          loadThis();
        }
        loadArgs();
        invokeContractMethod(contractMethod);
  
        storeLocal(list.get(k));
      }
    }