Assertion list for term "stack on top of non-zero value".

Results from Ascent++: 1
zero CapableOfstack on top of non-zero value 0.43