witness_print_cycle_edge
witness_print_cycle_edge(prnt, parent, child, ++step, 0);
witness_print_cycle_edge(prnt, w, path[depth - 1], ++step,
static void witness_print_cycle_edge(int (*prnt)(const char *fmt, ...),