Assertion list for term "minimum number of memory cells".

Results from Ascent++: 1
block HasAminimum number of memory cells 0.33