Fix indentation
Move position where a widening node is added to its dependencies.
Ensure new discovered nodes have lower priority than old old.