Assertion list for term "elected at time".

Results from Ascent++: 1
governor ReceivesActionelected at time 0.31