Assertion list for term "reached at transaction level".

Results from Ascent++: 1
consensus ReceivesActionreached at transaction level 0.25