remove now-unused EqualLeadingZeroCount