witness_search
if (witness_search(&w_data[i], target, path, depth - 1,
if (witness_search(child, parent, path, depth, &remaining))
static int witness_search(struct witness *w, struct witness *target,