Assertion list for term "use redistribution of leads".

Results from Ascent++: 1
mover CapableOfuse redistribution of leads 0.25