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

Results from Ascent++: 1
value (aspect of function) CapableOfbe a power of two 0.33