Assertion list for term "stop for any change".

Results from Ascent++: 1
clock CapableOfstop for any change 0.27