Assertion list for term "change in level".

Results from Ascent++: 1
parameter CapableOfchange in level 0.30