package java.lang;

/*@

lemma void assume(boolean b);
    requires true;
    ensures b;

@*/