Assertion list for term "certified within the time schedule".

Results from Ascent++: 1
ledger ReceivesActioncertified within the time schedule 0.25