Assertion list for term "issued after the end of the session".

Results from Ascent++: 1
correction ReceivesActionissued after the end of the session 0.25