Assertion list for term "requested to leave section".

Results from Ascent++: 1
correction ReceivesActionrequested to leave section 0.16