Assertion list for term "work in storm".

Results from Ascent++: 1
utility CapableOfwork in storm 0.25