EID list is sorted by pointer value, not lexically
This makes comparisons extremely cumbersome and requires inefficient implementations for adding and removing elements. We should replace the EID lists by a proper set implementation.
This makes comparisons extremely cumbersome and requires inefficient implementations for adding and removing elements. We should replace the EID lists by a proper set implementation.