Assertion list for term "take 256 different values".

Results from Ascent++: 1
byte CapableOftake 256 different values 0.25