All CheckerImplTest tests passing