Assertion list for term "remain after the call".

Results from Ascent++: 1
value (aspect of variable) CapableOfremain after the call 0.25