Revised the quicksort SMT example