Add's unique names to nodes in the StormDag, and an associated law. Should be deterministic with a shift from Set's to Lists in the StormDag for deterministic traversal