graph_reaches
static int graph_reaches(struct owner_vertex *x, struct owner_vertex *y,
if (graph_reaches(e->e_to, y, path)) {
KASSERT(!graph_reaches(g->g_vertices[i],
graph_reaches(y, x, &path);