Assertion list for term "segmentation faults".

Results from Ascent++: 1
bug Causessegmentation faults 0.23