Assertion list for term "go in the sizeconstructor".

Results from Ascent++: 1
number (aspect of matrix) CapableOfgo in the sizeconstructor 0.29