======================================
B_BOOLEAN (invariant admissibility)
Successfully verified.
======================================
ANY.default_create (creator, inherited by B_BOOLEAN)
Successfully verified.
======================================
B_BOOLEAN.boolean_operations
Successfully verified.