Remove redundant push_relabel algorithm