Implement dead VFS operation finding as a forward walker, including necessary machinery for reverting and restoring them when contexts are folded/unfolded.