Assertion list for term "stop on every whistle".

Results from Ascent++: 1
clock CapableOfstop on every whistle 0.41