make tests pass with new Checker infrastructure