Assertion list for term "removed at desired time".

Results from Ascent++: 1
filter ReceivesActionremoved at desired time 0.31