The step generator was incorrectly tracking goal states for old resources, which could lead to a panic if the resource was removed in the update. This fix only generates goal states for resources that exist in the updated program.
Each file covers a particular feature. These changes are intended to make the tests easier to navigate.