@Contract("false -> fail")
  public static void ensure(boolean statement) {
    if (!statement) {
      throw new IllegalPostconditionException(POSTCONDITION_IS_NOT_SATISFIED);
    }
  }
@Contract("false -> fail")
  public static void ensure(boolean statement)