Extracted checker interface
Outline for CheckerImplTest