code: public static long checkPostconditionL(
      final long value,
      final LongPredicate predicate,
      final LongFunction<String> describer)
    {
      final boolean ok;
      try {
        ok = predicate.test(value);
      } catch (final Throwable e) {
        throw failed(
          e,
          Long.valueOf(value),
          singleViolation(failedPredicate(e)));
      }
  
      return innerCheckL(value, ok, describer);
    }
docs: A {@code long} specialized version of {@link #checkPostcondition(Object,
  Predicate, Function)}
  
  @param value     The value
  @param predicate The predicate
  @param describer The describer of the predicate
  
  @return value
  
  @throws PostconditionViolationException If the predicate is false