To add a new file to the test suite, see
  ../README

To run the tests, do
 (cd $CHECKERFRAMEWORK && ./gradlew Flow2Test)
