The ST implementation inlines all of the graph traversal that happens, so you don't create any "inner" Nodes.