Is there a simpler way?
Assert pre- and post-conditions which detect failures of the eager-update strategy (in either direction);
Assertin failures find latent bugs: hidden instances of variable assignment that were not detected by naïve static analysis and simplified parse trees.
Encapsulate these assignments and resume migration schedule.