Code

Simplify the update_rev_graph end-game