Assertion list for term "terminated with signal".

Results from Ascent++: 1
interpreter CapableOfterminated with signal 0.39