Assertion list for term "modulo 256".
Results from Ascent++: 1
byte → CapableOf → modulo 256 0.27