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

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

