TEST: regression test DFS with unavailable revision
Refactor+Fix: HandlePostponedYields()
Refactor: Push returns void