Assertion list for term "done with rename".

Results from Ascent++: 1
tag CapableOfdone with rename 0.31