Modified proof_graph_t.