Assertion list for term "remain equal".

Results from Ascent++: 1
number (aspect of variable) CapableOfremain equal 0.25