A topological program flow rewriter.