Assertion list for term "collapse in storm".

Results from Ascent++: 1
tower CapableOfcollapse in storm 0.27