Assertion list for term "remain as white dwarf".

Results from Ascent++: 1
core (aspect of star) CapableOfremain as white dwarf 0.29