Assertion list for term "see run".

Results from Ascent++: 1
break CapableOfsee run 0.28