private static @NotNull @InspectionMessage String getContractMessage(List<? extends MethodContract> contracts) {
    if (contracts.isEmpty()) {
      return JavaAnalysisBundle.message("dataflow.message.fail");
    }
    if (ContainerUtil.and(contracts, mc -> ContainerUtil.and(mc.getConditions(), ContractValue::isBoundCheckingCondition))) {
      return JavaAnalysisBundle.message("dataflow.message.contract.fail.index");
    }
    return JavaAnalysisBundle.message("dataflow.message.contract.fail");
  }
private static @NotNull @InspectionMessage String getContractMessage(List<? extends MethodContract> contracts)