Assertion list for term "expected at the time of reservation".

Results from Ascent++: 1
hertz ReceivesActionexpected at the time of reservation 0.21