And it should do it in a way that can be ruggedized against concurrent changes, so that running the DFG concurrently won't implode the universe.
*** This bug has been marked as a duplicate of bug 114708 ***