Reimplement VFS forwarding as a backward walker implementation that looks for a unique predecessor for each call that depends on one.

TODO: write forward "dead open" walker.