clarify this comment: You're not adding *all* pseudo nodes in the graph to the list of updated nodes-- Just those pseudo nodes which are ancestors of the updated nodes (up to the next non-pseudo node).