Assertion list for term "frozen at some point".

Results from Ascent++: 1
shrimp ReceivesActionfrozen at some point 0.40