Assertion list for term "eliminate many choices of locations".

Results from Ascent++: 1
size CapableOfeliminate many choices of locations 0.31