qc_pretty_print for the last counterexample found