code: public static void checkPostcondition(
      final boolean condition,
      final String message)
      throws PostconditionViolationException
    {
      if (!condition) {
        throw failed(
          null, "<unspecified>", singleViolation(message));
      }
    }
docs: A specialized version of {@link #checkPostcondition(Object, boolean,
  Function)} that does not mention an input value.
  
  @param condition The predicate
  @param message   The predicate description
  
  @throws PostconditionViolationException Iff {@code predicate == false}