Assertion list for term "remain at zero".

Results from Ascent++: 2
value (aspect of variable) CapableOfremain at zero 0.28
count CapableOfremain at zero 0.25