docs: protected void invokePreconditions() {
      MethodContractHandle h =
          contracts.getMethodHandle(ContractKind.PRE, methodName, methodDesc, 0);
      if (h == null) {
        return;
      }
  
      MethodNode contractMethod = injectContractMethod(h);
      if (!statik) {
        loadThis();
      }
      loadArgs();
      invokeContractMethod(contractMethod);
    }