Assertion list for term "likely to destruct".

Results from Ascent++: 1
circle ReceivesActionlikely to destruct 0.16