In-class exercise Invariants and partial oracles: Set up

1. There are no particular infrastructure requirements for this exercise.

2. Familiarize yourself with the Daikon invariant detector