Assertion list for term "leave behind a neutron star".

Results from Ascent++: 1
supernova CapableOfleave behind a neutron star 0.25