Contains the typechecking test cases for the JML checker.
Conventions
Test cases that do not have any output should be listed in
the no-output-tests file.
(It is possible that the order in this file matters.)
Doing this will help speed testing of JML.