Assertion list for term "stop writing to a capture file".

Results from Ascent++: 2
value (aspect of call) CapableOfstop writing to a capture file 0.31
value (aspect of limit) CapableOfstop writing to a capture file 0.25