witness_print_cycle
witness_print_cycle(printf, w1, w);
witness_print_cycle(db_printf, w1, w2);
static void witness_print_cycle(int (*prnt)(const char *fmt, ...),