Assertion list for term "represent a power of two".

Results from Ascent++: 1
bit CapableOfrepresent a power of two 0.25