Assertion list for term "sink in storm".

Results from Ascent++: 3
ship CapableOfsink in storm 0.36
monitor CapableOfsink in storm 0.34
ferry CapableOfsink in storm 0.19