Assertion list for term "shut down in known state".

Results from Ascent++: 1
port ReceivesActionshut down in known state 0.45