Move CheckerImp to header
Don't dispatch calls to Logic
[FOLD]