Assertion list for term "continue to be valid".

Results from Ascent++: 1
trust ReceivesActioncontinue to be valid 0.34