Assertion list for term "become unlevel".

Results from Ascent++: 1
concrete CapableOfbecome unlevel 0.16