Choosing Quick Programs In shmoop