Start rewriting push-relabel