erase equivalent states