Before revision: If the node is then locally consistent, it it removed from the queue, else its key is updated.
After revision: If the node is then locally consistent, is it removed from the queue, else its key is updated.