Probably we want the DFG to track those structures that it had done optimizations with, in a similar way to how it tracks objects that go from being fragile (known to the DFG but not leveraged) to being weak (the DFG had optimized based on them).