All tests now use Check-framework  (at least superficially)