Pruning the data-flow graph depth-first, sure, but moving edges in it is beyond anything I've read so far.