code: public static Supplier<Boolean> supplier(BooleanSupplier adaptee) {
          dbc.precondition(adaptee != null, "cannot adapt a null boolean supplier");
          return () -> adaptee.getAsBoolean();
      }
docs: Adapts a proposition to a supplier.
  
  @param adaptee the proposition to be adapted
  @return the adapted supplier