Assertion list for term "a multiple of 256".

Results from Ascent++: 1
value (aspect of variable) DefinedAsa multiple of 256 0.28