Can you makes sure that al of the features of the checkers are mentioned
(briefly!) in the paper? Example are the., the optional checking of the
interned checker for .equals that can be ==, and its special treatment
(sound, not just a heuristic) for == tests inside .equals and .compareTo
methods.
Thanks,
-Mike