Changed the representation of struct state_entry to pointers
Optimized the dealias routine to use an rbtree