Revised definition of pg::proof_graph_t.