An Analysis Of Realistic Programs For shmoop schools