code: public static void checkPostconditionV(
      final boolean condition,
      final String format,
      final Object... objects)
    {
      checkPostconditionV("<unspecified>", condition, format, objects);
    }
docs: <p>A version of {@link #checkPostcondition(boolean, String)} that
  constructs a description message from the given format string and
  arguments.</p>
  
  <p>Note that the use of variadic arguments may entail allocating memory on
  virtual machines that fail to eliminate the allocations with <i>escape
  analysis</i>.</p>
  
  @param condition The predicate
  @param format    The format string
  @param objects   The format string arguments
  
  @since 1.1.0