Added pg::proof_graph_t::enumerate_edges_to_observation.