legion: more tweaks to the heuristic for deciding when it is safe to migrate equivalence sets
legion: more tweaks to the heuristic for deciding when it is safe to migrate equivalence sets

StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion