Assertion list for term "assume different names".

Results from Ascent++: 1
saint CapableOfassume different names 0.25