@Contract("false, _ -> fail")
  public static void ensure(boolean statement, @NotNull String message) {
    if (!statement) {
      throw new IllegalPostconditionException(message);
    }
  }
@Contract("false, _ -> fail")
  public static void ensure(boolean statement, @NotNull String message)