vertex_unref
if (vertex_unref(vv) == VERTEX_INUSE &&
if (vertex_unref(v) == VERTEX_INUSE)
(void) vertex_unref(milestone);