Symbol: witness_print_cycle_edge