Example where QC can't find min counterexample.