private class CounterComparator[E]
	super Comparator
	redef type COMPARED: E
	var counter: Counter[E]
	redef fun compare(a,b) do return self.counter.map[a] <=> self.counter.map[b]
end