Assertion list for term "change after while".

Results from Ascent++: 1
surface (aspect of mirror) CapableOfchange after while 0.25