Assertion list for term "continue with following messages".

Results from Ascent++: 1
output CapableOfcontinue with following messages 0.29