Assertion list for term "reach critical size".

Results from Ascent++: 1
crack CapableOfreach critical size 0.37